Argumento Logico-Traducao Simbolica e Arvore de Refutacao

Leia o texto a seguir André joga futebol ou xadrez Se ele for jogador de futebol então possui habilidade com a bola Se ele for jogador de xadrez então possui uma boa concentração e boa memória Como não joga futebol portanto ele é concentrado e possui uma boa memória Traduza para a linguagem simbólica as seguintes proposições utilizando letras maiúsculas para abreviar as proposições simples Após provar a validade ou não do argumento pela árvore de refutação Utilize A Joga Futebol B Joga xadrez C Habilidade com a bola D Boa concentração E Boa memória OPERADOR LÓGICO FÓRMULA REGRA EXEMPLO Negação Negada ou Dupla Negação φ Empilha φ φ Conjunção φψ ou φψ Empilha φψ φ ψ Conjunção Negada φψ ou φψ Bifurca φψ φ ψ Disjunção φψ Bifurca φψ φ ψ Disjunção Negada φψ Empilha φψ φ ψ Condicional φψ Bifurca φψ φ ψ Condicional Negada φψ Empilha φψ φ ψ Bicondicional φψ Empilha e Bifurca φψ φ ψ φ ψ Bicondicional Negado φψ Empilha e Bifurca φψ φ ψ φ ψ AB AC BDE A DE AB AC BDE A DE A B x B DE x x O argumento é válido