Equivalências lógicas, contrapositivas, silogismo disjuntivo Flashcards
Quando duas sentenças são equivalentes?
Quando estiverem escritas diferentes mas com mesmo significado.
O que significa o símbolo abaixo?
Logicamente equivalente.
Como escrever uma sentença logicamente equivalente a uma com o conectivo “se então” usando a regra da contraposição?
- Inverte a ordem;
- Nega tudo.
Ex.: Se estudo, então passo => Se não passo, então não estudo.
Sentenças logicamente equivalentes têm tabelas verdade iguais?
Sim.
Como escrever uma sentença logicamente equivalente a uma com o conectivo “ou” usando a regra do silogismo disjuntivo?
Usando “se, então” nega a primeira e repete a segunda.
Ex.: Durmo ou estudo => Se eu não durmo, então estudo.
Quantas possibilidades de equivalências lógicas há para frases com o conectivo “se, então”?
Duas.
Pela regra contra positiva e a regra o silogismo disjuntivo.
Na preposição “Se P, então Q”, quais são as relações de condições suficientes e necessárias?
P é suficiente para Q;
Q é necessária para P.
Quantas possibilidades de equivalências lógicas há para frases com o conectivo “ou”?
Somente uma, a pela regra do silogismo disjuntivo.
Quantas possibilidades de equivalências lógicas há para frases com o conectivo “Se, então” utilizando “suficiente” e “necessário”?
Quatro.
Como escrever uma sentença logicamente equivalente a uma com o conectivo “ou…ou”?
Mantém 1ª E nega 2ª OU mantém 2ª E nega 1ª;
Ex.: Ou saio ou estudo => Saio e não estudo ou estudo e não saio.
Como escrever uma sentença logicamente equivalente a uma com o conectivo “Se, e somente se”?
- Transformar em duas condicionais conectadas por E.
Ex: Passo se, e somente se estudo => Se passo, então estudo E se estudo, então passo.
- Mantém 1ª E mantém 2ª OU nega 1ª E nega 2ª.
Passo se, e somente se estudo => Passo E estudo OU estudo E passo.
Partes iguais da preposição podem ser cortadas?
Ex.: P ^ ¬Q ^ ¬Q é equivalente a P ^ ¬Q?
Sim.
Existe alguma regra de equivalência que transforme E em OU?
Não.
