Matemtica Elementar - 2017.

1
Curso de Licenciatura em Computao UFPB Virtual
Tarefa Aberta 1 (Lgica)

Aluno: Paulo Jos de Souza Jnior

Matrcula: 20170084154
Polo: Alagoa Grande - PB

QUESTO 1: Construo de TABELA-VERDADE

Construa a tabela-verdade para a frmula- bem- formada:

(A B) (B A)

A B A B A B B A (A B) (B A)
1 F F V V F V V
2 F V V F V F F
3 V V F F F V V
4 V F F V F V V

a) A frmula uma TAUTOLOGIA, uma CONTRADIO (tambm chamada de

insatisfatibilidade) ou uma CONTINGNCIA? Justifique sua resposta.

R. a) A formula uma CONTINGNCIA, pois ao menos uma linha valorada como verdadeira
e ao menos uma linha valorada como falsa.

QUESTO 2: Construo de TABELA-VERDADE

Construa a tabela-verdade para a frmula- bem- formada:
((A B) (C A)) (A C)

A B C B C A B CA (A B) (C A)) A C Frmula completa

1 F F F V F V F F F V
2 F F V V V V F F F V
3 F V F F F F F V F F
4 F V V F V F F V F F
5 V F F V F V F F F V
6 V F V V V V V V V V
7 V V F F F V F F F V
8 V V V F V V V V V V
a) A frmula uma TAUTOLOGIA, uma CONTRADIO (tambm chamada de
insatisfatibilidade) ou uma CONTINGNCIA? Justifique sua resposta.

R. a) A frmula uma contingncia, pois ao menos uma linha e verdadeira e ao menos uma
linha falsa.

Boa tarefa!