13387524
Beschreibung
Mindmap von Luke Byrne, aktualisiert more than 1 year ago
|
|
Erstellt von Luke Byrne
vor mehr als 6 Jahre
|
|
Propositional Logic
- "A proposition is any declarative sentence which that is either true of false."
- CONNECTIVES
- ∧ - "and"
- T^T=T
- T^T=T
- ∨ - "or"
- inclusive or
- inclusive or
- ¬/~ - "not"
- → - "implies" (if/then)
- T->F=F
- T->F=F
- ↔ - iff (if and only if)
- TT/FF=T
- TT/FF=T
- Connective Priority in order below
- ∧ - "and"
- IMPORTANT TAUTOLOGIES
- De Morgan's Laws
- ¬ and ∨ can be used together to represent all connectives
- ¬ and ∨ can be used together to represent all connectives
- Sheffer's stroke ('|')
- P|Q (which stands for ”not both P and Q” or ”P nand Q”) can be used to represent all of ¬, ∧, ∨, →, ↔
since ¬P ↔ P|P and P ∨ Q ↔ (P|P) | (Q|Q).
- P|Q (which stands for ”not both P and Q” or ”P nand Q”) can be used to represent all of ¬, ∧, ∨, →, ↔
since ¬P ↔ P|P and P ∨ Q ↔ (P|P) | (Q|Q).
- Given P → Q...
- Converse
- Q → P
- Q → P
- Contrapositive
- ¬Q → ¬P
- ¬Q → ¬P
- Converse
- De Morgan's Laws
- Reductio ad absurdum
- √2 by contradiction
- √2 by contradiction
Medienanhänge
Möchten Sie kostenlos Ihre eigenen Mindmaps mit GoConqr erstellen? Mehr erfahren.