Prova Logica - Tabela Verdade e Traducao para o Calculo Proposicional Classico

2ª AVALIAÇÃO ASSÍNCRONA MODO REMOTO DE LÓGICA BACHARELADO EM BIBLIOTECONOMIA NOITE 20232 Prof Rodolfo Petrônio 10 Questão 1 Obtenha a tabelaverdade para a seguinte fórmula do cálculo proposicional clássico CPC dizendo se se trata de uma tautologia de uma contingência ou de uma contradição Importante é obrigatória a apresentação das árvores de subfórmulas para a fórmula dada Obs A questão pode ser resolvida à mão e anexa às demais se for o caso A B A B Dica fiquem atentos aos sinais de negação 30 Questão 2 Sugira a tradução para a linguagemobjeto do CPC fazendo uso das letras sentenciais indicadas A B etc para cada uma das sentenças abaixo escritas na metalinguagem em língua portuguesa Concentrese no sentido original das sentenças visando à sua tradução para o CPC A Alcebíades gosta de algo B Barroso ama Catarina C Catarina ama Juvêncio D Demóstenes estuda música E Geraldo é casado com Albertina F Juvêncio ama Albertina 1 Barroso ama Catarina mas esta ama Juvêncio 2 Se Geraldo é casado com Albertina então nem Juvêncio a ama nem este é amado por Catarina 3 Se não é verdade que Catarina ama Juvêncio então não é o caso que Juvêncio ama Albertina 4 Nem Barroso ama Catarina nem Juvêncio ama Albertina se Demóstenes estuda música 5 Catarina ama Juvêncio que ama Albertina somente se Demóstenes estuda música 6 Demóstenes estuda música somente se não for o caso que ou Geraldo é casado com Albertina ou Catarina não for amada por Barroso 40 Questão 3 Utilizando a notação simbólica indicada sugira uma tradução para a linguagemobjeto do CQC das sentenças abaixo que estão escritas na metalinguagem do português Concentrese no sentido das sentenças e numa possível tradução delas para a metalinguagem portuguesa Dica observe a disposição do quadrado das oposições no qual a contraditória de uma sentença universal é uma sentença particular e viceversa quando a sentença começa com todos ninguém alguém para a obtenção de sua equivalente lógica quando for o caso a Altamiro b Bernardo c Catarina j Juvêncio M x é um músico E x estuda G x gosta de y A x apresentou y a z 1 Catarina gosta de alguém 2 Alguém gosta de Catarina 3 Ninguém estuda 4 Nem todos gostam de Juvêncio 5 Alguém apresentou Bernardo a Altamiro 6 Se Bernardo estuda então alguém estuda 7 Catarina apresentou todos a Bernardo 8 Se Catarina apresentou Bernardo a todos então ela o apresentou a alguém 20 Questão 4 Diga se as expressões abaixo são fórmulas expressões wff do CQC Se forem fórmulas diga também se são sentenças quer dizer se todas as variáveis da fórmula estão ligadas a algum quantificador e justifique o porquê quando não se tratar de fórmula ou sentença sendo apenas uma expressão malformada Considere que R e S são símbolos de predicados unários e T e Q símbolos de predicados binários a b e c são constantes individuais que denotam objetos do mundo x y z são as variáveis do domínio de aplicação 1 xSx zQzz 2 yTay Sx Rx Tbb 3 xSx yRy zQzz 4 zQzz UNIVERSIDADE FEDERAL DO ESTADO DO RIO DE JANEIRO UNIRIO CENTRO DE CIÊNCIAS HUMANAS E SOCIAIS CCH FACULDADE DE FILOSOFIA DEPARTAMENTO DE FILOSOFIA DFIL