Se Igor não é comediante, então Amado não é cantor. Se Igor é comediante, então ou Carlos é poeta ou Dênis é americano. Se Dênis é americano, Elza é avó. Mas Elza é avó se e somente se não for verdade que Fábio não pratica artes marciais. Ora, Fábio não pratica artes marciais e Carlos não é poeta. Logo
Respostas
Amado é cantor
Carlos nao é poeta
Dênis é americano
Elza é avó
Fabio não pratica artes marciais.
Se Igor não é comediante então Amado nao é cantor, mas Igor é comediante O que torna Amado um cantor.
Ja que Igor é comediante Carlos não é poeta, Denis é americano.
Já que Fábio não pratica artes marciais, o que é verdade Elsa se torna a avó
Resposta:
Concluímos:
Se Fábio realmente não pratica artes marciais, então Elza não é avó. Se Elza não é avo, então Dênis não é americano. Se Dênis não é americano, então Igor não é comediante. E, Carlos não é ator. Se Carlos não é poeta e Dênis não é americano, então Igor não é comediante.
Explicação:
Equivalência lógica e bicondicional.
Bicondicional: mas Elza é avó se e somente se não for verdade que Fábio não pratica artes marciais.
Se é verdade que:
a bicondicional: Expressa uma condição suficiente e necessária.
Se realmente Fábio não pratica artes marciais, então Elza não é avó.
Equivalência lógica em relação a bicondicional apresentada.
Ambas precisam verdadeiras ou ambas precisam ser falsas. Se uma delas não for verdade o resultado é ser falso.
Se Dênis é americano então Elza é avó.
Negar: Se Elza não é avó, então Dênis não é americano.
Se Igor não é comediante, então Amado não é cantor.
Para afirmar está parte da frase, inverte o descendente com antecedente e nega. P->Q => ~Q -> ~P´ (Contrapositiva)
Se Amado é cantor, então Igor é comediante.
Se Igor é comediante, então ou Carlos é poeta ou Dênis é americano.
Equivalência lógica -> negação P ^ Q -> ~P v ~Q
Se Carlos não é poeta e Dênis não é americano, então Igor não é comediante.