Sejam  P1,  P2  e  C  duas  premissas  e  a  conclusão,  re...

CERTO

só não explico porque vou perder muito tempo, mas a questão é bem simples.

Resolvi, talvez, da forma mais trabalhosa, mas fui por etapas.

• Há três partes na solução deste problema e conhecer as tabelas-verdade de cada uma das operações já basta. Podem ser representados P1, P2 e C por:

P1

~p Ʌ ~q

P2

p V q

C

p ↔ q

• Daí vem, conforme a expressão do enunciado (P1 ^ P2 → C):

((~p Ʌ ~q) Ʌ (p V q)) → (p ↔ q)

• Analisando cada parte e usando a tabela verdade da condicional, temos que P1ɅP2 será sempre falsa, logo, toda a expressão será sempre verdadeira, caracterizando uma tautologia.

(P1 ^ P2) ^ ( ~P1 v ~P2) --> (P1 <--> P2)

( v ^ v ) ^ ( f v f ) --> (v <--> v)

( v ^ f ) ---------> ( v)

f --> v

v

Se tiver errado me corrijam por favor...to treinando.

estudou(E) passou(P) p1=(¬E&¬P) p2(EvP) C(E<->P) X=P1^P2 X->C

V V F V V F V

F F V F V F V

V F F V F F V

F V F V F F V

Tentei fazer a tabela. Caso contenha algum erro, por favor, avisar.

O primeiro passo é identificar as proposições:

Não estudou: vamos chamar de "~ p" ( o Sinal ~ representando o não)

Não passou: vamos chamar de "~ q" ( o Sinal ~ representando o não)

Estudou: "p"

Passou: "q"

Depois, desenhá-las com os conectivos:

(~p Ʌ ~q) Ʌ (p V q)) → (p ↔ q) = ?

O enunciado pede uma tautologia (ou seja, independente dos valores atribuidos a P e B, a proposição terá valor lógico verdadeiro).

Para resolver, você pode atribuir livremente o valor de V ou F para P ou Q.

Se for uma tautologia, será impossível que o resultado seja falso.