Amanda é amiga de Bruno, ou Charles é inimigo de Paulo. Se Josué é filho de Maria, então Bruno não é primo de Bira. Se Charles é inimigo de Paulo, então Bruno é primo de Bira. Ora, Josué é filho de Maria. Portanto:
Soluções para a tarefa
Bruno é primo de Bira
Josué não é filho de Maria
Amanda não é amiga de Bruno
Josué não é filho de Maria se Charles for inimigo de Paulo.
Resposta:
Se ou como Josué é filho de Maria então Bruno não é primo de Bira. Assim como, Charles não é inimigo de Paulo e Amanda é amiga de Bruno.
Explicação:
Assunto para estudar o exercício é Raciocínio Lógico -> Equivalências Lógica -> Contrapositiva, negação de "E" e "OU" e negação de P -> Q (equivalentes). Notar as diferenças das regras de contrapositiva e disjunção. E, também a negação de "E" e "OU" (uso vice-versa) e, P->Q.
1) Partindo da conclusão do enunciado ser a afirmação correta, vamos analisar as outras frases de equivalência lógica, conforme a diretriz deste assunto.
Ora, Josué é filho de Maria. (O raciocínio baseia-se nesta afirmação).
2) Levando em conta que Josué é filho de Maria, sobre a frase que é verdade e a regra de equivalência lógica.
Onde P -> Q é P ^ (~Q). Manter o antecedente e negar o consequente.
Pressupõem que: Se Josué é filho de Maria, então Bruno não é primo de Bira.
Verificando a regra de Equivalência lógica, onde diz P->Q é P^(~Q) (P e ~Q, lê-se ^ como (e) e ~ negação.
3) Se Charles é inimigo de Paulo então Bruno é primo de Bira
Usa-se a regra de Equivalência lógica, chamada contrapositiva. Onde P -> Q (equivalentes) está para a contrapositiva onde ~Q -> ~P.
Se Charles é inimigo de Paulo, então Bruno é primo de Bira.
- Conforme a regra do ítem inverter a posição e negar.
Se Bruno não é primo de Bira, então Charles não é inimigo de Paulo.
Chegamos na conclusão final da análise:
Se ou como Josué é filho de Maria então Bruno não é primo de Bira. Assim como, Charles não é inimigo de Paulo e Amanda é amiga de Bruno.