2.

RACIOCNIO LGICO MATEMTICO

CESPE
TJ
TRE
ES/TRE
ES/Apoio
Especializado/Operao de Computadores/2011
Assunto: Proposies simples e compostas (verofuncionais),
conectivos lgicos, tabelas verdade
1. Entende-se por proposio todo conjunto de palavras ou
smbolos que exprimem um pensamento de sentido completo,
isto , que afirmam fatos ou exprimam juzos a respeito de
determinados entes. Na lgica bivalente, esse juzo, que
conhecido como valor lgico da proposio, pode ser
verdadeiro (V) ou falso (F), sendo objeto de estudo desse ramo
da lgica apenas as proposies que atendam ao princpio da
no contradio, em que uma proposio no pode ser
simultaneamente verdadeira e falsa; e ao princpio do terceiro
excludo, em que os nicos valores lgicos possveis para uma
proposio so verdadeiro e falso.
Com base nessas informaes, julgue o item a seguir.
Segundo os princpios da no contradio e do terceiro
excludo, a uma proposio pode ser atribudo um e somente
um valor lgico.
CESPE
TJ
TRE
ES/TRE
ES/Apoio
Especializado/Operao de Computadores/2011
Assunto: Tautologia, contradio e contingncia
Considere que P e Q sejam duas proposies que podem
compor novas proposies por meio dos conectivos lgicos ~,
, e , os quais significam "no", "e", "ou" e "se, ento",
respectivamente. Considere, ainda, que a negao de P, ~P (lse: no P) ser verdadeira quando P for falsa, e ser falsa
quando P for verdadeira; a conjuno de P e Q, PQ (l-se: P e
Q) somente ser verdadeira quando ambas, P e Q, forem
verdadeiras; a disjuno de P e Q, PQ (l-se: P ou Q) somente
ser falsa quando P e Q forem falsas; e a condicional de P e Q,
PQ (l-se: se P, ento Q) somente ser falsa quando P for
verdadeira e Q falsa. Considere, por fim, que a tabela-verdade
de uma proposio expresse todos os valores lgicos possveis
para tal proposio, em funo dos valores lgicos das
proposies que a compem.
Com base nesse conjunto de informaes, julgue os itens
seguinte.
2. A proposio ~(~PP) verdadeira, independentemente do
valor lgico da proposio P.
3. Com base nesse conjunto de informaes, julgue o item
seguinte.
As proposies ~[(PQ)(QP)] e (~PQ)(~QP)
possuem tabelas-verdade distintas.
4. Com base nesse conjunto de informaes, julgue o item
seguinte.
Caso sejam verdadeiras as proposies P e Q, a proposio
(~PQ)(~QP) ser verdadeira.