Zusammenfassung der Ressource
PROPOSIÇÕES = V ou F
- NÃO SÃO: ! ? ordem, x , ele quem? = SA
- CONJUNÇÃO : P ^ Q
- V ^ V = V
- p^q <=> q^p
comulta
- (.) ∩
- "e, mas, tanto como"
- DISJUNÇÃO: P v Q
- V V = V
V F = V
F V = V
- p v q <=> q v p
comulta
- (+) U
- "ou"
- se tem 1 V é V
- DISJ. EXCLUSIVA: P ṿ Q
- V F = V
F V = V
- "ou....ou"
- p ṿ q <=> q ṿ p
comulta
- BICONDICIONAL: P<->Q
P=Q
- "se, e somente se"
- V V = V
F F = V
- <=>
- P é cond. neces. suf. p/ Q
- NEGAÇÃO: ~
- ~p "não, não é vdd que
- ~(p ^q) "é falso que"
- V = F
F = V