Category:Propositional Calculus

From ProofWiki

Jump to: navigation, search

This category contains results about propositional calculus.

Definitions specific to this category can be found in Definitions/Propositional Calculus.

Subcategories

This category has the following 4 subcategories, out of 4 total.

C

[×] Classical Propositional Calculus‎ (empty)

I

[+] Intuitionist Propositional Calculus‎ (1 C)

M

[+] Models for PropCalc‎ (1 C)

P

[+] Proof Systems for PropCalc‎ (2 C)

Pages in category "Propositional Calculus"

The following 28 pages are in this category, out of 28 total.

B

Branch of Finite Propositional Tableau is Finite

C

E

F

F cont.

Finite Main Lemma

I

Initial Part of WFF of PropCalc is not WFF

L

Logical Consequence Union Negation

M

N

S

T

U

W

Retrieved from "http://www.proofwiki.org/w/index.php?title=Category:Propositional_Calculus&oldid=94951"

Personal tools

ProofWiki.org

ToDo

Toolbox

Google AdSense