Category:Propositional logic
Appearance
branch of logic concerned with the study of propositions (whether they are true or false) that are formed by other propositions with the use of logical connectives, and how their value depends on the truth value of their components | |||||
Upload media | |||||
Subclass of |
| ||||
---|---|---|---|---|---|
Part of | |||||
Different from | |||||
Said to be the same as | propositional logic | ||||
| |||||
![]() |
Subcategories
This category has the following 8 subcategories, out of 8 total.
B
D
- De Morgan's law (15 F)
- Diagrama de Marlo (42 F)
E
- Existential graphs (31 F)
L
P
S
- Syllogism charts with all minterm lists (1 P, 10 F)
T
Media in category "Propositional logic"
The following 45 files are in this category, out of 45 total.
-
Abstammungsbaum.png 351 × 300; 8 KB
-
And-inverter-graph.png 851 × 527; 45 KB
-
And-inverter-graph.svg 511 × 316; 19 KB
-
Aussagenlogik (Mind Map).png 2,696 × 1,056; 140 KB
-
Calcul naturel exemple 1.svg 85 × 335; 9 KB
-
Captura algebra para la edificación 1.JPG 144 × 139; 10 KB
-
Captura algebra para la edificación 2.JPG 215 × 99; 11 KB
-
Captura algebra para la edificación 3.JPG 236 × 97; 11 KB
-
Captura algebra para la edificación 4.JPG 211 × 131; 12 KB
-
Captura algebra para la edificación 5.JPG 318 × 198; 14 KB
-
Captura algebra para la edificación 6.JPG 226 × 136; 12 KB
-
Circular argument ja.png 800 × 664; 67 KB
-
Circular argument ja.svg 1,006 × 837; 15 KB
-
Consistency.png 70 × 15; 710 bytes
-
Dichotomy.svg 455 × 218; 376 bytes
-
Figure2Atableaufora.png 413 × 400; 9 KB
-
Infinite regress ja.png 604 × 1,132; 83 KB
-
Kehtestatava lausearvutuse valemi tõesuspuu.jpg 406 × 349; 17 KB
-
Kehtestatava valemi tõesuspuu.jpg 343 × 473; 18 KB
-
Kehtestava lausearvutusvalemi tõeväärtustabel.jpg 410 × 118; 19 KB
-
Kehtestava valemi tõesuspuu.jpg 312 × 410; 17 KB
-
Kontrtautologia.svg 300 × 200; 60 KB
-
Lausearvutuse tõeväärtustabel.png 585 × 200; 11 KB
-
Lausearvutuse valem ei ole samaselt tõene.jpg 575 × 122; 22 KB
-
Lausearvutuse valem, mis on kehtestav.jpg 659 × 196; 27 KB
-
Logic.svg 85 × 28; 218 KB
-
Logica y demostraciones.pdf 1,275 × 1,650, 23 pages; 123 KB
-
Logical fallacy.svg 545 × 347; 3 KB
-
Logicalfallacy.gif 525 × 325; 18 KB
-
Non-cont.png 300 × 85; 5 KB
-
Noncont-sym.svg 740 × 130; 935 bytes
-
Noncont.svg 300 × 100; 6 KB
-
Ockam's razor ja.png 948 × 833; 77 KB
-
Parallel Sequence.jpg 172 × 128; 9 KB
-
Propositional Logic.png 842 × 747; 106 KB
-
Relation1011.svg 384 × 280; 7 KB
-
Rieger-Nishimura.svg 560 × 480; 6 KB
-
SL-operator-principle.jpg 916 × 294; 47 KB
-
Table2Correspondance.png 318 × 148; 4 KB
-
Tableau1.png 246 × 198; 3 KB
-
Tableau2.png 245 × 186; 3 KB
-
Tflogic.jpg 800 × 600; 169 KB
-
The-Construction-of-Impossibility-A-Logic-Based-Analysis-of-Conjuring-Tricks-Video1.ogv 1 min 13 s, 1,280 × 720; 10 MB
-
Ukranian logic examples.png 2,048 × 734; 104 KB
-
Zellweger-WBH-Truth Matrix.jpg 3,600 × 4,500; 738 KB