5. A proposição ~𝑎 ∧ (𝑎 ∨ 𝑏) é equivalente a:
5.1. ~𝑎 ∧ 𝑏 5.3. ~𝑎 ∨ 𝑏
5.2. 𝑉 5.4. 𝑎 ∨ 𝑏
7. A proposição 𝑎 ⟹ (𝑎 ∨ 𝑏) é equivalente a:
7.1. V 7.2. F
Página 1 de 5
Origem: Exercícios Matemática 10º ano, Raíz Editora
7.3. ~𝑎 ∨ 𝑏 7.4. ~𝑎 ∧ 𝑏
8. A proposição 𝑎 ∧ (𝑎 ∨ 𝑏) é equivalente a:
8.1. V 8.3. 𝑏
8.2. F 8.4. 𝑎
9. A proposição 𝑎 ∨ (𝑎 ∧ 𝑏) é equivalente a:
9.1. V 9.3. 𝑎
9.2. F 9.4. 𝑏
15. Sabendo que 𝑎 ∧ ~𝑏 é uma proposição verdadeira, indica, justificando, o valor lógico de cada uma das
proposições seguintes:
15.1. 𝑎 ∨ ~𝑏
15.2. ~𝑏 ⇒ 𝑎
15.3. ~𝑎 ⇔ ~𝑏
15.4. 𝑎 ⇔ (~𝑏 ⇒ 𝑎)
15.5. (𝑎 ∧ 𝑏) ⇒ ~𝑎
15.6. ~𝑎 ⇔ ~𝑏
16. Sabe-se que a proposição ~(𝑎 ∧ 𝑐) ⇒ ~𝑐 é falsa. Indica, justificando, o valor lógico das proposições
seguintes.
16.1. 𝑎 ∧ (~𝑎 ∨ 𝑐)
16.2. ~𝑎 ⇒ (𝑐 ∧ 𝑎)
16.3. 𝑎 ⟺ (𝑎 ∨ 𝑐)
16.4. ~𝑎 ⟹ (~𝑎 ⟹ 𝑐)
Página 3 de 5
Origem: Exercícios Matemática 10º ano, Raíz Editora
17. Determina o valor lógico da proposição ~𝑝 ⟹ (~𝑝 ∨ 𝑞), recorrendo:
17.1. A uma tabela de verdade;
17.2. A uma simplificação.
Página 4 de 5
Origem: Exercícios Matemática 10º ano, Raíz Editora
21. Na lógica proposicional, uma tautologia é uma fórmula proposicional que é verdadeira para todos os
possíveis valores das suas variáveis proposicionais.
21.1. Mostra que a proposição 𝑎 ∨ ~𝑎 é uma tautologia.
21.2. Mostra que a proposição (𝑎 ∧ 𝑏) ∨ (~𝑎 ∨ ~𝑏) é uma tautologia.
Página 5 de 5
Origem: Exercícios Matemática 10º ano, Raíz Editora