EXERCÍCIOS RACIOCÍNIO LÓGICO 12/08/2008

01. Seja duas proposições, P e Q, onde Q é verdadeira. A tabela de valoração de

Q → ¬P possui valor verdadeiro apenas quando P é falso.

02. Em uma comunidade sabe-se que: “nenhum filósofo é rico” e que “alguns
professores são ricos”. Assim, pode-se afirmar, corretamente, que neta comunidade
nenhum filósofo é professor.

03. Sejam P e Q variáveis proposicionais que podem ser julgadas verdadeiras (V) ou
falsas (F). A partir dessas variáveis, podem ser obtidas novas proposições, tais como: a
proposição condicional, denotada por P → Q, que será F quando P for V e Q for F, ou
V, nos outros casos; a disjunção de P e Q, denotada por P Q, que será F somente
quando P e Q forem F, ou V nas outras situações; a conjunção de P e Q, denotada por P
Q, que será V somente quando P e Q forem V, e, em outros casos, será F; e a negação
de P, denotada por ¬P, que será F se P for V e será V se P for F. Uma tabela de
valorações para uma dada proposição é um conjunto de possibilidades V ou F
associadas a essa proposição.
A partir das informações do texto acima, julgue os itens subseqüentes.

1. As tabelas de valorações das proposições são iguais.

2. As proposições possuem tabelas de valorações
iguais.

04. Podemos afirmar que a igualdade está correta.

05. Seja P a proposição: “Mário é professor”, e Q a proposição: “Maria não é dentista”.

A proposição S é denotada por P Q, podemos a firma que a leitura de ~S é: “Mário não
é professor ou Maria é dentista”.

06. Seja A a proposição: “Hoje é sábado”, e B a proposição: “amanhã sairei”. A

proposição C é denotada por A B, podemos a firma que a leitura de ¬C é: “Hoje não é
sábado e não sairei amanhã”.

07. Se a afirmativa “todo cabrito é veloz” for considerada falsa, então a afirmativa
“alguma cabrito é lento” tem de ser considerada verdadeira.

08. Se a proposição A for F e a proposição ¬(A ¬Q) for V, então, obrigatoriamente, a

proposição B é V.

09. Se a proposição A for V e a proposição (¬A) Q for F, então, obrigatoriamente, a

proposição B é V.

10. A afirmação “Se Pedro está em Roma, então Paulo está em Paris” é logicamente
equivalente à afirmação “Pedro está em Roma e Paulo não está em Paris”.

11. Dizer que a afirmação “todos os economistas são médicos” é falsa, do ponto de vista
lógico, equivale a dizer que a seguinte afirmação é verdadeira: “pelo menos um
economista não é médico”.