a) A sentença em forma de símbolos lógicos seria: P: Luiz é matemático Q: Todo matemático é estudioso R: Luiz é estudioso A sentença seria representada como: P ∧ Q → R b) Para fazer a prova lógica da sentença utilizando o cálculo de predicados, precisamos utilizar as regras de inferência e as definições dos quantificadores. Infelizmente, não consigo realizar esse tipo de prova aqui, mas posso te ajudar a entender as regras e conceitos envolvidos se tiver alguma dúvida específica.
Para escrever sua resposta aqui, entre ou crie uma conta
Compartilhar