Exercícios Resolvidos Calculo de Predicados e Arvore de Refutacao-Logica Matematica

UNIASSELVl Geovani Felipe da Silva Nascimento Matemática 4738600 O Cálculo de Predicados é uma extensão da Lógica das Proposições em que se consideram variáveis e quantificadores sobre as variáveis Suas aplicações na tecnologia e programação são fundamentais para a implementação de sistemas inteligentes e que conseguem gerar destinos corretos para informações Com base nisso analise as sentenças lógicas e faça o que se pede Algumas plantas são flores Todas as flores têm um cheiro doce Portanto algumas plantas têm um cheiro doce a Escreva a sentença em forma de símbolos lógicos b Faça a prova lógica da sentença citada utilizando o cálculo de predicados Obs utilize P plantas F flores e C cheiro doce EQUIVALÊNCIAS NOME EQUIVALÊNCIA NOME EQUIVALÊNCIA Tautologia Lei de Morgam φ ψ φ ψ TAUT DM φ ψ φ ψ Comutativa Implic Material φ ψ ψ φ COM IM φ ψ φ ψ φ ψ φ ψ Associativa Dupla Negação φ ψ ζ φ ψ χ ASSOC DN φ φ φ ψ ζ φ ψ χ Transposição φ ψ χ ψ χ φ ψ χ φ ψ φ χ Exportação EXP φ ψ χ φ ψ φ χ Ambivalência UNIASSELVl Geovani Felipe da Silva Nascimento Matemática 4738600 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 ÁRVORE DE REFUTAÇÃO FÓRMULA REGRA EXEMPLO Negação Negada ou Dupla Negação Empilha Conjunção Empilha