Logica-Matematica-Exercicios-de-Proposicoes-e-Predicados

UNIASSELVI 1 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 a 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 UNIASSELVI Geovani Felipe da Silva Nascimento Matemática 4738600 1 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 d 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 UNIASSELVI Geovani Felipe da Silva Nascimento Matemática 4738600 1 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