Equivalência Lógica Flashcards
Analise as duas frases a baixo e informe se uma é EQUIVALENTE a outra.
Carlos é marido de Ana.
Ana é esposa de Carlos.
Correto. São preposições simples que são equivalentes.
A porta não está aberta
A porta está fechada
Essas duas proposições são equivalentes?
Correto
Qual é a equivalência da seguinte frase.
SE COMO DOCES, ENTÃO ENGORDO.
P -> Q
SE NÃO ENGORDO, ENTÃO NÃO COMO DOCES.
~Q -> ~P
Dica: INVERTE, NEGA, NEGA
Quais são as dicas para EQUIVALÊNCIA do conectivo
(-> Se então)?
Inverte, nega, nega
NeouMA (Nega (v) Mantem)
Uma equivalente da afirmação “Se eu estudei, então tirei uma boa nota no concurso” está contida na alternativa:
a) Não estudei e não tirei uma boa nota no concurso.
b) Se não tirei uma boa nota no concurso, então não estudei.
c) Se não estudei, então não tirei uma boa nota no concurso.
d) Se eu tirei uma boa nota no concurso, então estudei.
e) Estudei e tirei uma boa nota no concurso.
Gabarito: B
Inverte, Nega, Nega
Qual é a dica da 2ª equivalência NEouMA. Quando o enunciado ao invés de dar o conectivo (Se então), der o (Ou).
Se o enunciado te der o (Se então), você utiliza a NEouMA normalmente.
Agora se o enunciado te der o (ou) você utiliza o NEouMA, e somente vai trocar o conectivo (ou) para o (Se então).
Ex: Pedro não é pedreiro ou Paulo é Paulista.
Equivalência: Se Pedro é Pedreiro então Paulo é Paulista.
23/04
Quais são os símbolos da equivalência?
= / Ξ / .:
Qual seria a negação da seguinte proposição
p > 5
~p <= 5
Quais são as equivalências das negações (Lei de Morgan)?
Exemplo:
Duas proposições com um conectivo (conjunção), você vai negar as duas proposições e trocar o conectivo para disjunção.
~(p ^q) = ~p v ~p
OU
Duas proposições com um conectivo (disjunção), você vai negar as duas proposições e trocar o conectivo para conjunção.
~(p v q) = ~p ^ ~p
É correto afirmar que dentro das EQUIVALÊNCIAS eu tenho as EQUIVALÊNCIAS PURAS e eu também tenho as EQUIVALÊNCIAS DAS NEGAÇÕES?
CORRETO
Qual é a negação da equivalência do conectivo → ?
Mnemônico: MANE ^
Mentem a primeira proposição, nega a segunda proposição troca o conectivo (condicional) para o conectivo (conjunção).
Ex: ~(p → q ) = p ^ ~q
Qual é a negação da equivalência dos conectivos ↔ v_ (bicondicional e disjunção exclusiva)?
Mnemônico: MAMA inverte o conectivo.
Na bicondicional, mantém, mantém as duas proposições, troca o conectivo para a disjunção exclusiva.
Ex: ~(p ↔ q) = p v_ q
Na disjunção exclusiva, mantém, mantém as duas proposições, troca o conectivo para a bicondicional.
Ex: ~(p v_ q) = p ↔ q