LGICA 1 EXERCCIO DE PREPARAO PARA A PROVA

Questo 1. Traduza cada frase para a linguagem da lgica proposicional, construa uma tabela
de verdade e determine se a frase expressa uma proposio tautolgica, contraditria ou
contingente.
Interpretao P: Pedro sabe latim, Q: Quitria sabe grego
a !e Pedro sabe latim e Quitria sabe grego, ento Pedro sabe latim ou Quitria sabe grego.
b !e Pedro no sabe latim, ento se Quitria sabe grego, ento sabe Paulo no sabe latim.
Questo !. Traduza as frases para a linguagem da lgica proposicional, construa um inspetor de
circunst"ncias para cada argumento e determine se ele v#lido ou no.
Interpretao P: Paula ama Quincas, Q: Quincas ama Paula, $: $ute ama Quincas
c !e Paula ama Quincas, ento Quincas ama Paula.
!e Quincas ama Paula, ento Paula ama Quincas.
%ogo, Paula e Quincas amam&se mutuamente.
d Paula ama Quincas ou $ute no ama Quincas.
'o verdade (ue $ute no ama Quincas.
%ogo, no verdade (ue Paula no ama Quincas.
Questo ". Traduza as frases para a linguagem da lgica proposicional, construa um inspetor de
circunst"ncias para o con)unto de proposi*es e determine se ele consistente ou no +cada
frase est# separada por ponto e v,rgula.
Interpretao Q: Queirs escreve bem, $: $ui escreve bem, !: !ousa escreve bem
e -!e Queirs escreve bem, ento $ui escreve bem. !e $ui escreve bem, ento !ousa escreve
bem. Queirs escreve bem, mas !ousa no escreve bem/