In logic and mathematics, a propositional calculus or logic (also a sentential calculus) is a formal system in which formulae representing propositions can be formed by combining atomic propositions using logical connectives, and a system of formal proof rules allows certain formulae to be established as theorems.

Contents

Show All>>

 

The above information uses material from Wikipedia and is licensed under the GNU Free Documentation License.
Some facts may not have been fully verified for accuracy. [Disclaimers]
This page was last archived by our server on Tue Sep 22 16:47:35 2009. [ refresh local cache ]
Displaying this page or its contents does not use any Wikimedia Foundation's resources.
The owners of this site proudly support the Wikimedia Foundation.

[Hide]▼
'Propositional Calculus' Images
docyear236852 png
citeseer.ist.psu.edu
docyear236852 png
192px x 640px | 1.90kB

[source page]

1 Results on the propositional ue calculus context Kozen 1983 The graph only includes citing articles where the year of publication is known

Yahoo Images Search: Propositional calculus,
Mon Jul 13 14:32:39 2009
[Hide]▲