Please enable JavaScript.
Coggle requires JavaScript to display documents.
18/04 EQUIVALÊNCIAS LÓGICAS (SE.. ENTÃO (1º CRUZA E NEGA (SE ENTÃO), 2º…
18/04
EQUIVALÊNCIAS LÓGICAS
SE.. ENTÃO
1º CRUZA E NEGA
(SE ENTÃO)
2º NEYMAR
(OU)
E
SE E SOMENTE SE
OU..OU
OU
Mesma Resultado Tab. Verdade para as mesmas proposições simples
Se completamente oposto - Negação
~P ⇔ Q
P ⇔ Q
Propriedades
Comutativa
Distributiva ( ^ v)
Negação "todo"
algum, pelo menos um, há, existe...
~(P⊻Q) ⇔ (P ^ Q) v (~P ^~Q)
Ma e Ma OU Ne e Ne
~(P↔️Q) ⇔ (P ^ ~Q) v (Q ^~P)
Ma e Ne OU Ma e Ne
P → Q ⇔ ~Q → ~P
A volta é válida
P → Q ⇔ ~P v Q
Contrapositiva
P ↔️ Q ⇔ ~P ⊻ Q
P ↔️ Q ⇔ P ⊻ ~Q
P ↔️ Q ⇔ ~P ↔️ ~Q
P ⊻ Q ⇔ ~P ↔️ Q
P ⊻ Q ⇔ P ↔️ ~Q
P ⊻ Q ⇔ ~P ⊻ ~Q
CAI POUCO
CAI POUCO
~(P^Q) ⇔ (~P) v (~Q)
~(P^Q) ⇔ P → (~Q)
~(PvQ) ⇔ (~P)^(~Q)
Pode ser OU / Se então
~(PVQ) ⇔ (~P) ^(~Q)
Equivalência - Começar pelo último operador!!!!!!!
Nega Nega
Mané
~(P → Q) ⇔ P^(~Q)
A negação equivalente = Negação! (Texto com símbolo)
Não se nega
e-e, ou-ou, se ent- se ent
~(P⊻Q) ⇔ (~P) ↔️ (~Q)
~(P⊻Q) ⇔ P ↔️ Q
~(P⊻Q) ⇔ ~P ⊻ Q
~(P⊻Q) ⇔ P ⊻ ~Q
~(P↔️Q) ⇔ (~P) ⊻ (~Q)
~(P↔️Q) ⇔ (~P) ⊻ (~Q)
~(P↔️Q) ⇔ ~P ↔️ Q
~(P↔️Q) ⇔ P ↔️ ~Q
NEGAÇÃO BICONDICONAL = DISJUNÇÃO EXCLUSIVA
:warning:
