LÓGICA SETENCIAL
Equivalência
Proposição
Condicional
A ➡ B
1⃣ Voltar negando
Cruza e Nega!
2⃣ Passar a mesma ideia
ex.
Quando, então
Se, então
Quando, ...
Como, então
Como, ...
3⃣ Dupla Negação
NE \/ MAR
Negação
Proposição
Conjunção
A /\ B
🎷
2⃣
MA (MANTÉM) E NE (NEGA)
Caso compare Se... e Se...
1 º negação
= A /\ ×B
2 º Negação
1⃣
A ➡ ×B NEGAÇÃO EQUIVALENTE
Morgan
×A \/ ×B
Condicional
A ➡ B
1⃣
×B ➡ ×A
MA (MANTÉM) ❗E❗ NE (NEGA)
= ×A \/ B
/\ ↔ ➡
A /\ ~B
Quando negar algo
Quer Negação
Enquanto..., ...
4⃣ Elementos Coesivos
5⃣
⚠ Nega as duas proposições
e
Compara negações
Disjunção Exclusiva
Bicondicional
Mantendo a ordem ⚠
Bicondicional
A ↔ B
♻
(A ➡ B) /\ (B ➡ A)
Flexível com sucessivas equivalências
Tautologia
👥
(¬A \/ B) ↔ ( A ➡ B)
Invertido
(P ∧ Q) ➡ (P v Q) #
(P ➡ Q) ↔ (¬Q ➡ ¬P)
Disjunção Exclusiva
v P v Q
(p ➡ ~q) /\ (~p ➡ q)
A /\ B ➡ A \/ B
P1:
A ➡ B
P2:
B ➡ C
C:
A ➡ C
A /\ (B \/ C) ↔ ( A /\ B) \/ (A /\ C)
Conjunções
Explicativas Antepostas ao Verbo ♻ SE
Conclusivas ♻ ENTÃO
Continua SE, ENTÃO
Vira \/
Sinônimos
...a não ser que X
¬ (x)
...não é verdade que X