O documento apresenta uma lista de exercícios de lógica matemática dividida em três partes. A primeira parte contém perguntas sobre o objeto de estudo da lógica, sentenças lógicas e características da lógica bivalente. A segunda parte pede para construir tabelas-verdade e diagramas para proposições lógicas. A terceira parte solicita verificar relações de implicação e equivalência lógicas.

1. FORTIUM
Lógica Matemática - Sistemas de Informação
Lista de Exercícios 1 – V2 Prof. Newton Alcantara
PARTE 1
1 – Qual é o objeto de estudo da Lógica?
2 – O que é uma sentença e que tipo de sentença é objeto de atenção na Lógica?
3 – Porque dizemos que a Lógica Matemática é uma lógica bivalente?
4 – Quais são os dois axiomas da Lógica Matemática?
5 – O que são Conectivos?
PARTE 2
6 – Construir a tabela-verdade e o diagrama sagital para cada uma das proposições:
a) P (p, q) = (p  q’)  (q  p)
b) P (p, q, r) = ((p . q)  r) + ((p’  q) + r’)
7 – Determinar P (1,0,1), P (1,0,0) e P(0,0,0) para as seguintes proposições:
a) P (p, q, r) = (r . (p + q’)) . (r’  (p . q))’
b) P (p, q, r) = (p + (q  r’)) . (p’ + (r  q’))
PARTE 3
8 – Verificar, pela definição e pela condicional associada, se valem as seguintes relações de
implicação lógica:
a) (p’ . q’)  (p  q)
b) (p  q’)  (p  q)
c) (p . q)  (p  (q + r))
9 – Verificar se valem as seguintes relações de equivalência lógica. Utilize tanto a definição
quanto a bicondicional associada.
a) ((p  q)  r)  ((p . r’)  q’)
b) (p  q)  ((p + q) . (p . q)’)
c) ((p  q) + (p  r))  (p  (q + r))
d) (p + (q  r’))  (p’ + (r  q’))
Página 1