GABARITO: LETRA B
A) Uma proposição p equivale a uma proposição q, se o bicondicional p q é uma tautologia.
- p = q || p = V V F F || q = V V F F || p <> q = V V V V
- Uma tautologia na bicondicional é garantia de que p e q sejam equivalentes.
B) ERRADA. GABARITO Uma proposição p equivale a uma proposição q, se o condicional p → q é uma tautologia.
- p = q || p = F F F F || q = V V F F || p > q = V V V V
- Uma tautologia na condicional não é garantia de que p e q sejam equivalentes.
C) Uma proposição p implica numa uma proposição q, se o condicional p → q é uma tautologia.
- Achei estranha esta alternativa ser certa, pois é possível a ocorrência de V> F = F numa tabela-verdade.
- Procurei na web e encontrei que: "Dizer que p implica em q é dizer que "p implica q" ou "p; logo q" ou "se p, então q" ou "p é suficiente para q" ou "q é necessário para p". E que: "Implicação lógica é uma relação entre duas proposições compostas dadas e uma tautologia. Portanto, na composição de uma tabela-verdade que apresenta tautologia, a partir da condicional, ter-se-á o valor lógico V na última coluna.
- Assim, parece que para p "tenha implicação lógica em" q deve ocorrer uma tautologia. Logo, estaria correta afirmativa.
D) A disjunção entre duas proposições é verdadeira se uma das duas proposições for verdadeira.
- V v V = V || V v F = V || F v V = V || F v F = F
E) A conjunção entre duas proposições é falsa se uma das proposições for falsa.
- V ^ V = V || V ^ F = F || F ^ V = F || F ^ F = F
Espero que ajude.