Aula 01 (Equivalências) Flashcards
Quais são as duas EQUIVALÊNCIA do Se então?
P→Q ≡ ~Q→~P (inverte negando)
P->Q ≡~PVQ (Sentou NeyMa)
Negação de “AND”
Nega as duas e passa pra OU
~(P^Q)≡~P∨~Q
NEGAÇÃO DA CONDICIONAL (SE…ENTÃO)
~(P→Q) ≡ P∧~Q (é MaNé)
Qual a equivalencia se <-> (se somente se )para -> se então?
P<->Q ≡ (P→Q) ∧ (Q→P)
Como transformo “se somente se” para “ou..ou”?
Basta eu negar uma das partes
P<->Q≡ ~P∨Q ≡ P∨~Q ≡ ~P∨_~Q
Negação de “Or”
Nega as duas e passa pra And
~(P^Q)≡~P^~Q
Negação de se somente se
Nega a primeira ou nega a segunda ou passa pra ou…ou
~(P<->Q)≡ ~P<->Q ≡ P<->~Q ≡ P∨_Q
NEgação de Ou…OU
passa pra se somente se
~(P∨_Q)≡P<->Q
Sentou Neyma é NEgação de é Mané
Qual a principal Tautologia?
P∨~P
Qual a principal Contradição?
P^~P
Como negar Todo, ALgum(Existe, Pelo menos um, Nenhum)
E T
N E
E N
T E
NA lógica de argumentação quais as principais formas de resolver?
Diagrama de Venn, Fio da meada (todas verdadeiras e testa), Wifi (Testa qual tem os dois V)