Se J, A e Q são proposições simples verdadeiras, então o val...

GAB : D

 (﹁ J ∧ A) ⬄ (﹁ Q ∨ ﹁ A ) 

sabemos que J, A , Q São verdadeiras

conjunção só e verdadeira se ambas forem.

a primeira parte da preposição é falsa, (﹁ J ∧ A)

sabemos que disjunção só é falsa de ambas forem falsas.

logo a segunda parte da preposição também é falsa.(﹁ Q ∨ ﹁ A ) 

contudo a preposição toda é verdadeira, pois a preposição SE SOMENTE SE, quando temos duas preposições de igual valor ela é verdadeira

logo a primeira parte é F <--> F Da segunda parte = Verdadeira.

Gabarito D. ( Verdadeiro).

Valorando J (V) , A (V) , Q (V)

~J ^ A se somente se ~Q v ~A

F ^ V se somente se F v F

F se somente se F

resultado verdadeiro.

Quando fazemos a tabela verdade, o resultado é uma Contingência (V,F) e não uma Tautologia (V em todos).

não entendi pq é verdadeiro e não tautológico

Gabarito: D

Opa, vamos por partes, segue o raciocínio:

J, A e Q = Verdadeiras

(~J ^ A) <-> (~Q v ~A)

(F ^ V) <-> (F v F)

F <-> F

V

Lembrando que.. "uma tautologia é uma fórmula proposicional que é verdadeira para todas as possíveis valorações de suas variáveis proposicionais." Acho que não se enquadra neste contexto visto que se alterarmos alguma das variáveis, temos um resultado diferente..

Vagner Estevam, será uma tautologia quando todos os valores forem verdadeiros, ao contrário do que aconteceu na questão, pois há valores verdadeiros e falsos. Logo, é uma contingência.

Rumo à PCDF.