13387524
Descripción
Mapa Mental por Luke Byrne, actualizado hace más de 1 año
|
|
Creado por Luke Byrne
hace más de 6 años
|
|
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
Recursos multimedia adjuntos
¿Quieres crear tus propios Mapas Mentales gratis con GoConqr? Más información.