Lista de exercícios tabela verdade, logica e matemática discreta.

1. Determine o valor lógico de cada uma das proposições:

1. O número 17 é primo.
2. Fortaleza é a capital do Maranhão.
3. (3 + 5)2 = 32 + 52
4. O produto de dois números ímpares é um número ímpar.
5. Todo quadrado é um retângulo.
6. O Sol é verde.
7. O número 25 é quadrado perfeito.
8. A neve é branca.
9. 2 é o único número par que é primo.
10. Um hexágono tem 9 diagonais.

1. Construa a tabela verdade das sentenças abaixo, informe seu resultado lógico e classifique-as como: tautológicas, contraválidas ou contingentes:

1. ~(p ∨ ~q)

1. p ∧ q → p ∨ q

1. ~(p → ~q)

1. (p ↔ ~q) → ~p ∧ ~q

1. q ↔ ~q ∧ p

1. (p ↔ ~q) ↔ q → p

1. ~p ∨ r → q ∨ ~r

1. p → r ↔ q ∨ ~r
2. p → (p → ~r) ↔ q ∨ r
3. (p ∧ q → r) ∨ (~p ↔ q ∨ ~r)

1. Construa a tabela verdade das sentenças abaixo e informe se há relação de implicação ou equivalência:

1. p ∧ ~p → q

1. (p → q) ∧ (q → r) → (p → r)

...