Negações dos operadores lógicos + equivalência lógicas Flashcards
representação da negação:
~p / ¬p
Negação deve-se usar a palavra:
Não.
Não se deve usar o antônimo da frase.
Duas negações é um:
retorno da frase original
¬(¬p) = p
“Eu não fiz nada” é uma dupla negação. Então equivale a “eu fiz alguma coisa”.
Negação das proposições aritméticas:
Proposição (p) Negação (¬p)
a + b = 2 a + b ≠ 2
a + b ≥ 2 a + b < 2
a + b ≤ 2 a + b > 2
a + b > 2 a + b ≤ 2
a + b < 2 a + b ≥ 2
Negação de uma proposição particular:
proposição universal
Negação de uma proposição universal:
proposição particular
Negação universal positiva:
Particular negativa.
Negação do ^
~ (p ^ q)
(~ p) v (~q)
Negação do v
~ (p v q)
(~p) ^ (~q)
Leis de Morgan:
Diz respeito a negação do conetivo E e OU.
Equivalência lógica do p –> q
~q —> ~p
~p v q (Neymar)
É(quivalência) é o Neymar.
Negação do condicional
~ (p–>q)
p ^ (~q)
Regra do Manê.
Vamos no bar do mané, mas com uma condição.
Negação do bicondicional
p <–> q
disjunção exclusiva v_
Negação do disjunção exclusiva v_
bicondicional p <—> q
Equivalência da bicondicional:
P↔Q = Q↔P
P↔Q = ¬P↔¬Q
P↔Q = ¬Q↔¬P
P↔Q = (P→Q)∧(Q→P)
João comprou um carro se, e somente se, Maria comprou uma moto =
Maria comprou uma moto se, e somente se, João comprou um carro.
P↔Q = Q↔P
João comprou um carro se, e somente se, Maria comprou uma moto =
João não comprou um carro se, e somente se, Maria não comprou uma moto.
P↔Q = ¬P↔¬Q
João comprou um carro se, e somente se, Maria comprou uma moto =
Maria não comprou uma moto se, e somente se, João não comprou um carro.
P↔Q = ¬Q↔¬P
João comprou um carro se, e somente se, Maria comprou uma moto =
Se João comprou uma carro, então Maria comprou uma moto, e se Maria comprou uma moto, então João comprou um carro.
P↔Q = (P→Q)∧(Q→P)