Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Buy Now $1.00
Standard view
Full view
of .
Save to My Library
Look up keyword
Like this
0Activity
P. 1
pc_60_low_level

pc_60_low_level

Ratings: (0)|Views: 15 |Likes:
Published by Davide "doc" Aleph
Proof of the theorem pc- 60 in the Propositional Calculus (PC). The First Weak Distributive Law of the Conjunction in respect to the Alternative. This proof uses no more than three derived rules and some of three primitive rules of inference: it’s a low level proof. A proof with higher level will be available as soon as possible for all most relevant results (check at link “more info”).
Proof of the theorem pc- 60 in the Propositional Calculus (PC). The First Weak Distributive Law of the Conjunction in respect to the Alternative. This proof uses no more than three derived rules and some of three primitive rules of inference: it’s a low level proof. A proof with higher level will be available as soon as possible for all most relevant results (check at link “more info”).

More info:

Categories:Types, School Work
Published by: Davide "doc" Aleph on Jul 21, 2013
Copyright:Traditional Copyright: All rights reserved
List Price: $1.00 Buy Now

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
See more
See less

03/21/2014

$1.00

USD

You're Reading a Free Preview
Pages 5 to 8 are not shown in this preview.

You're Reading a Free Preview

Download
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->