Category:Propositional logic

Subcategories

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

C

• [+] Consistency (2 F)

D

• [+] De Morgan's law (3 F)

E

• [+] Existential graphs (27 F)

L

• [+] Logic operations (1 C, 24 F)

S

• [+] Syllogisms (8 F)

Media in category "Propositional logic"

The following 16 files are in this category, out of 16 total.

Calcul naturel exemp... 9,003 bytes	Circular argument ja... 68,899 bytes	Circular argument ja... 15,784 bytes	Dichotomy.svg 3,810 bytes
Hasse2Free.png 9,836 bytes	LL def equiv.png 658 bytes	LL def impl.png 416 bytes	LL intuitionnistic i... 373 bytes
LL iso expo.png 587 bytes	LL semi distributivi... 743 bytes	Logical connectives ... 210,984 bytes	Logical connectives ... 1,160,738 bytes
Logical fallacy.svg 1,881 bytes	Propositional Logic.... 108,113 bytes	Rieger-Nishimura.svg 5,659 bytes	SL-operator-principl... 48,078 bytes