Folha 1
Folha 1
Folha 1
a) R → Q b) P ↔ Q c) (Q ∧ ¬R) → P
d) Q ∧ (¬R → P ) e) (P → R) ∨ (P → Q) f ) (¬P ∧ ¬Q) ↔ (Q ∨ R)
1
4. Considerando que P representa a proposição “O Manuel estudou.” e
que Q representa a proposição “O Manuel passou no exame.”, escreva
simbolicamente as seguintes proposições:
5. Sejam P =“O Vı́tor é mais alto que o Manuel.”, Q =“O Pedro é mais
baixo que o Manuel.”, R =“O Pedro e o Vı́tor são da mesma estatura.”
e S =“O Vı́tor é o mais alto dos três.”. Escreva simbolicamente as
proposições que se seguem:
(a) O Vı́tor é mais alto que o Manuel mas não é o mais alto dos três.
(b) Se o Vı́tor é mais alto que o Manuel e o Pedro é mais baixo que o
Manuel, então o Vı́tor é o mais alto dos três.
(c) Se o Pedro e o Vı́tor são da mesma estatura, então o Pedro não
é mais baixo que o Manuel ou o Vı́tor não é mais alto que este
último.
(d) O Pedro não é mais baixo que o Manuel se o Vı́tor não é o mais
alto dos três.
(e) O Vı́tor é o mais alto dos três ou não é mais alto que o Manuel.
(f) O Vı́tor só é o mais alto dos três se o Pedro não é da mesma
estatura que ele.
2
(d) A casa só não é feia se não tem 30 anos.
(e) A casa tem 30 anos se é azul e a casa não é feia se tem 30 anos.
(f) Para a casa ser feia é necessário e suficiente que tenha 30 anos.
a) (P ∧ R) ∨ S b) Q ↔ (R ∨ P ) c) Q → ((P → R) ∨ P )
d) ¬(P ∧ S) e) (¬R ∨ ¬P ) ∨ R f ) ¬((S ∨ ¬P ) → Q)
g) P → (¬P ↔ P ) h) (Q ∨ ¬R) ↔ (R → Q) i) ((P ∨ Q) ∧ ¬Q) ∨ (P → Q)
9. Sejam P , Q e R proposições. Se a proposição P ∨ ¬Q é verdadeira, o
que pode dizer sobre o valor lógico das seguintes proposições?
a) Q → P b) (P ∨ R) ∨ (¬Q ∨ R) c) (P ∧ R) ∨ (¬Q ∧ R)
d) (Q ∨ R) → (P ∨ R) e) (Q ∧ R) → (P ∧ R) f ) (¬P ∧ Q) ↔ (P ∨ Q)
3
11. Numa certa cidade, os habitantes são de dois tipos: os que mentem
sempre (F) e os que dizem sempre a verdade (V). Consideremos três
habitantes A, B e C dessa cidade. Em cada uma das alı́neas, diga se
é possı́vel determinar o tipo (V ou F) de cada um desses habitantes,
sabendo que eles disseram:
12. Construa tabelas de verdade para cada uma das seguintes proposições:
a) ¬P ∨ Q b) ¬(P ∧ Q)
c) (P ∧ Q) ∨ (P ∧ R) d) P ∧ (Q ∨ R)
e) (¬P ∨ Q) → ¬Q f ) (¬P ∧ ¬Q) ↔ ¬(P ∨ Q)
g) ¬P → (Q ∨ R) h) (P ↔ Q) → (P ↔ R)
i) P → (Q → P ) j) (P ↔ Q) ↔ ((P → Q) ∧ (Q → P ))
13. Diga quais das seguintes proposições são tautologias e quais são con-
tradições:
a) P → (P ∨ Q) b) (P ∨ ¬P ) → (Q ∧ ¬Q)
c) (P → (P ∨ Q)) ∧ Q d) (P ↔ Q) ↔ ((P → Q) ∧ (Q → P ))
e) ¬(P ∧ Q) → (P ∨ Q) f ) (P ∧ (Q ∨ R)) ↔ ((P ∧ Q) ∨ (P ∧ R))
14. Indique quais das seguintes proposições são tautologias e quais são con-
tradições:
4
15. Indique, justificando, se é ou não verdade que para quaisquer proposições
P e Q se tem:
(a) ¬¬P ⊣⊢ P .
(b) P → Q ⊣⊢ ¬Q → ¬P .
(c) P → Q ⊣⊢ ¬P ∨ Q.
(d) ¬(P ∨ Q) ⊣⊢ ¬P ∧ ¬Q e ¬(P ∧ Q) ⊣⊢ ¬P ∨ ¬Q
(e) P ∨ (Q ∧ R) ⊣⊢ (P ∨ Q) ∧ (P ∨ R) e P ∧ (Q ∨ R) ⊣⊢ (P ∧ Q) ∨
(P ∧ R)
17. Em cada uma das alı́neas seguintes, diga se as duas proposições dadas
são logicamente equivalentes.
(a) “Se amanhã chover, então irei ao cinema.” e “Amanhã não choverá
ou irei ao cinema.”
(b) “Esta camisola é às riscas e esta camisola é de manga curta ou
tem gola alta.” e “Esta camisola é às riscas e é de manga curta
ou esta camisola tem gola alta.”
(c) “Não é verdade que eu gosto de maçãs e laranjas.” e “Eu não
gosto de maçãs e não gosto de laranjas.”
(d) “Este gato é persa ou este gato gosta de peixe e dorme muito.” e
“Este gato é persa ou gosta de peixe e este gato dorme muito.”