Cálculo Lógico

EXERCÍCIOS DE CÁLCULO LÓGICO

1. a) Verifica pelo Método das Tabelas de Verdade se a proposição seguinte é ou não uma tautologia:

~ (a V b) W (~ c Þ ~ b)

b) Depois de teres elaborado a Tabela de Verdade, diz-me:

- qual é o valor lógico da proposição na primeira linha de solução;

- qual é o valor lógico de a na primeira linha de solução;

- qual é o valor lógico de b na primeira linha de solução;

- qual é o valor lógico de b na terceira linha de solução;

- qual é o valor lógico de c na oitava linha de solução.

Constroi uma Tabela de verdade para demonstrar a seguinte equivalência: p Þ q = ~ p V q

3. Sabendo que a proposição p Þ q tem o valor lógico falsidade, qual o valor lógico da proposição p Ù q ?

4. Verifica quais os valores de p e de q sabendo que:

p Ù q = F e p Þ q = V.

Sabendo que a é uma proposição falsa e a proposição a Û b é uma proposição verdadeira, diz qual o valor lógico da seguinte proposição:

a V ~ b

p: O João ficou dispensado do exame de Filosofia

q: O João ficou dispensado do exame de Matemática.

r: O João ficou dispensado do exame de Lógica

Verifica pelo Método das Tabelas de Verdade se o João dispensou a alguma disciplina, sabendo que é verdadeira a seguinte proposição:

~ (~ p Þ ~ q) Ù ~ r

7. Utiliza Tabelas de Verdade para mostrar que, quaisquer que sejam os valores lógicos de p e q, a expressão seguinte é verdadeira:

p Þ (~ p Þ q)

8. Supondo verdadeiras as três proposições seguintes:

a Þ b

~ ( b Ù c)

Que podes dizer acerca do valor lógico de b e de c?