UNIVERSIDADE ESTADUAL DE MONTES CLAROS - UNIMONTES

CENTRO DE CIÊNCIAS EXATAS E TECNOLÓGICAS - CCET

ENGENHARIA DE SISTEMAS

TRABALHO 03
SISTEMAS ESPECIALISTAS

NATANAEL AGUILAR BARRETO

Engenharia de Sistemas

MONTES CLAROS, 29 DE MARÇO DE 2023

 UNIVERSIDADE ESTADUAL DE MONTES CLAROS - UNIMONTES
CENTRO DE CIÊNCIAS EXATAS E TECNOLÓGICAS - CCET
ENGENHARIA DE SISTEMAS

P = Pedro é pobre
Q = Alberto é alto

~(P ^ Q) ≡ ~P v ~Q = Pedro não é pobre ou Alberto não é alto. A

P = André é artista
Q = Bernardo é engenheiro

P v ~Q = ~Q v P = Q -> P = Se Bernardo é engenheiro, então André é artista. D

Médicos

Economista
Economista

a) Pelo menos um economista não é médico.

 UNIVERSIDADE ESTADUAL DE MONTES CLAROS - UNIMONTES
CENTRO DE CIÊNCIAS EXATAS E TECNOLÓGICAS - CCET
ENGENHARIA DE SISTEMAS

P = Pedro é pedreiro
Q = Paulo é paulista

P Q ~P v Q P->Q Q->P ~P->Q P->~Q ~P->~Q

F F V V V F V V
F V V V F V V F
V F F F V V V V
V V V V V V F V

~P v Q = P -> Q = Se Pedro é pedreiro, então Paulo é paulista. A

P = Estiver chovendo
Q = Eu levo o guarda-chuva

P -> Q = ~P v Q = Não está chovendo ou eu levo o guarda-chuva. B

P = Pedro é economista
Q = Luísa é solteira

P->Q = ~Q->~P = Se Luísa não é solteira, então Pedro não é economista. E

 UNIVERSIDADE ESTADUAL DE MONTES CLAROS - UNIMONTES
CENTRO DE CIÊNCIAS EXATAS E TECNOLÓGICAS - CCET
ENGENHARIA DE SISTEMAS

P Q R ~Q ~Q->R P ^~Q->R PvQ Q -> P R Arg

F F F V F F F V F
F F V V V F F V V
F V F F V F V F F
F V V F V F V F V
V F F V F F V V F
V F V V V V V V V
V V F F V V V V F
V V V F V V V V V

Não é válido

P = Eu ganhar na loteria
Q = Serei rico

P -> Q;
P
∴Q

P Q P->Q
F F V
F V V
V F F
V V V

Argumento válido, pois nos casos onde todas as proposições são verdades, a
conclusão também é.