Escolar Documentos
Profissional Documentos
Cultura Documentos
TRABALHO 01
SISTEMAS ESPECIALISTAS
a) Verdade
b) Verdade
c) Falso
a) Composta
b) Composta
c) Atômica
UNIVERSIDADE ESTADUAL DE MONTES CLAROS - UNIMONTES
CENTRO DE CIÊNCIAS EXATAS E TECNOLÓGICAS - CCET
ENGENHARIA DE SISTEMAS
d) Composta
a) p
b) p^q
c) pvq
d) p -> q
d) q <-> p
(q -> p) v (s -> r )
P Q P -> Q
a v f F
b f f V
c v v V
d f v V
a)
P Q R Q^R P v (Q ^ R)
F F F F F
F F V F F
F V F F F
F V V V V
V F F F V
V F V F V
V V F F V
V V V V V
b)
UNIVERSIDADE ESTADUAL DE MONTES CLAROS - UNIMONTES
CENTRO DE CIÊNCIAS EXATAS E TECNOLÓGICAS - CCET
ENGENHARIA DE SISTEMAS
P Q ~P v ~ Q ~(~P v ~ Q) = P ^ Q
F F V F
F V V F
V F V F
V V F V
c)
F F F V F F F F F F
F F V V F F V V V V
F V F V F F F F F F
F V V V V F F F V V
V F F F F F F F F F
V F V F F V V F F V
V V F F F F F F F F
V V V F V V F F V V
#Teste de associatividade
d)
P Q R ~Q P v ~Q R^P S
F F F V V F F
F F V V V F F
F V F F F F V
F V V F F F V
V F F V V F F
V F V V V V V
V V F F V F F
V V V F V V V
UNIVERSIDADE ESTADUAL DE MONTES CLAROS - UNIMONTES
CENTRO DE CIÊNCIAS EXATAS E TECNOLÓGICAS - CCET
ENGENHARIA DE SISTEMAS
Sim, é uma contradição pois nunca teremos as duas proposições sendo verdadeiras,
uma vez que uma é sempre negação da outra.
P Q ~P Q->~P S
F F V V V
F V V V V
V F F V V
V V F F V
P Q ~Q P v ~Q P->~Q S
F F V V V V
F V F F V V
V F V V V V
V V F V F F
P Q ~P ~Q ~P v ~Q P->Q S
F F V V V V V
F V V F V V V
V F F V V F F
V V F F F V V
UNIVERSIDADE ESTADUAL DE MONTES CLAROS - UNIMONTES
CENTRO DE CIÊNCIAS EXATAS E TECNOLÓGICAS - CCET
ENGENHARIA DE SISTEMAS
a) (P v Q) ^ R
b) (P ^ Q) v ~(P ^ R)
c) ~P^~(~R)
d) ~(Q v R) ^ ~(~P)
a) ~P ^ Q
b) P v ~Q
c) ~P ^ ~Q
d) ~P v P ^ ~Q
a) P = x > 0; Q = (y = 2)
P -> Q