Exercicios Resolvidos de Calculo de Predicados e Logica Proposicional para Sistemas Inteligentes

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 TAUT φ φ φ Lei de Morgan DM φ ψ φ ψ φ φ φ φ ψ φ ψ Comutativa COM φ ψ ψ φ Implíc Material IM φ ψ φ ψ φ ψ ψ φ φ ψ φ ψ Associativa ASSOC φ ψ χ φ ψ χ Dupla Negação DN φ φ φ ψ χ φ ψ χ Transposição TRAN φ ψ ψ φ Distributiva DIST φ ψ χ φ ψ φ χ Exportação EXP φ ψ χ φ ψ χ φ ψ χ φ ψ φ χ Ambivalência AMB φ ψ ψ φ 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 ÁRVORE DE REFUTAÇÃO OPERADOR LÓGICO FÓRMULA REGRA EXEMPLO Negação Negada ou Dupla Negação φ Empilha φ φ