ESTADO DE MATO GROSSO SECRETARIA DE ESTADO DE CINCIA E TECNOLOGIA

UNIVERSIDADE DO ESTADO DE MATO GROSSO

CAMPUS UNIVERSITRIO DEP. ESTADUAL RENE BARBOUR DEPARTAMENTO DE CIENCIA DA COMPUTAAO

Disciplina: Inteligncia Artificial Prof. Dr. Ricardo de Oliveira Alves

# 1 Lista de Exerccios: Lgica Proposicional

I. Utilizando as regras bsicas ou derivadas, prove a validade das seguintes formas de argumento: 1) P Q, Q R P R 2) P Q ~P ~Q 3) ~P Q ~(P ~Q) 4) P Q, P ~Q ~P 5) (P Q) (P R) P (Q R) 6) P Q (P R) (Q R) 7) P Q (P R) (Q R) 8) ~P P P 9) ~P P Q 10) P Q P Q

II.

Utilizando as regras bsicas ou derivadas, prove os seguintes teoremas: 1) P P 2) P (Q (P Q)) 3) ~(P ~P) 4) (P Q) (~Q ~P) 5) (P Q) (~P ~Q) 6) Q (P ~P) 7) (P ~P) Q 8) P (P Q) 9) ~P (Q P) 10) (P Q) (Q P)

III. Utilizando as regras bsicas ou derivadas, prove as seguintes equivalncias: 1) (P Q) ~(~P ~Q) 2) (P Q) ~(~P ~Q) 3) (P Q) ~(P ~Q) 4) (P Q) (~P Q) 5) P ((P Q) (P ~Q)) 6) ~(P Q) (P ~Q) 7) (P Q) ((P Q) (~P ~Q))

8) ~(P Q) ((~P Q) (P ~Q)) 9) (P ~P) (Q ~Q) 10) (P ~P) Q ~Q