LGICA 1 EXERCCIO 20/5

Nome(s): ______________________________________________________________________________
Questo 1. (valor: 6 pontos) Formalize cada uma das frases, construa a sua tabela de verdade e diga se a
proposio que ela expressa tautolgica, contraditria ou contingente.
Interpretao P: Duvido, Q: Penso, R: Existo.
a) Penso e existo ou nem existo e nem penso. (Esta frase expressa uma disjuno)
b) Existo e no existo, mas duvido.
c) Se duvido, ento existo ou no existo.
Questo 2. (valor: 4 pontos) Construa um inspetor de circunstncias para cada conjunto de frmulas e
diga se o conjunto consistente ou inconsistente.
d) {P Q, (P Q), Q}

e) { P Q, Q, P}