O que é uma proposição Contrapositiva?
Publicado por Daniel Luís Fernandes Guerreiro em 03-10-2025
. Por exemplo, a proposição "Todos os morcegos são mamíferos" pode ser reescrita em sua forma condicional "Se algo é morcego, então é mamífero". Por fim, a lei diz que a sentença é idêntica à sua contrapositiva "Se algo não é mamífero, então não é morcego."
O que é uma contrapositiva?
Em lógica, contraposição é uma lei, que diz que, para toda sentença condicional, há uma equivalência lógica entre a mesma e sua contrapositiva. Na contrapositiva de uma sentença, o antecedente e o consequente são invertidos e negados: a contrapositiva de P\rightarrow Q é, portanto, \neg Q\rightarrow \neg P.
Qual a contrapositiva da condicional?
A condicional (p —> q) é equivalente a sua contrapositiva (~q —> ~p) e a recíproca da condicional (q —> p) é equivalente à contrária da condicional (~p —> ~q). Com isso demonstramos duas propriedades importantes: A condicional p → q e a sua contrapositiva ~q → p são equivalentes.
O que é argumento disjuntivo?
Argumento disjuntivo
Os argumentos disjuntivos são aqueles onde pelo menos uma das premissas possui uma disjunção “ou”. Veja o exemplo a seguir: PREMISSA 1: Todo padre é homem ou tem nível superior. PREMISSA 2: Padre José é homem.
É possível que uma proposição do tipo p → q seja verdadeira é que sua contrapositiva seja falsa?
p → q, que se lê: “p condiciona q”, assume o valor lógico falso somente quando p for verdadeira e q for falsa e será verdadeira nos demais casos. Em uma condicional p → q, a proposiç˜ao p é chamada antecedente, premissa ou hipótese, e a proposiç ˜ao q é referida como consequente, conclus˜ao ou tese.
VOCÊ SABE O QUE É UMA PROPOSIÇÃO LÓGICA CONTRAPOSITIVA?
15 curiosidades que você vai gostar
Qual é a negação da proposição P q?
¬(P ^ Q ) <=> ¬P v ¬Q
Para negarmos uma proposição composta ligada pelo conectivo operacional “E” , basta negarmos ambas as proposições individuais(simples) e trocarmos o conectivo “e” pelo conectivo”ou”. Ou seja, transformaremos uma conjunção em uma disjunção.
Quando uma condicional é verdadeira?
1a linha: Se de fato a verdade de A se fizer seguir da de B, ou seja, se A for de fato suficiente para B, a implicação é verdadeira. 2a linha: Se acontecer tal situação, ou seja, A V e B F, a implicação será falsa.
O que significa modo disjuntivo?
1. Que desune ou separa. 2. [ Gramática ] Que liga, mas estabelecendo alternativa ou distinção.
O que é argumento dedutivo de um exemplo?
ARGUMENTO DEDUTIVO: é válido quando suas premissas, se verdadeiras, a conclusão é também verdadeira. Premissa : "Todo homem é mortal." Premissa : "João é homem." Conclusão : "João é mortal."