Escolar Documentos
Profissional Documentos
Cultura Documentos
ORDEM
Clculo dos Predicados
FUNDAMENTOS DA COMPUTACO
J.M.Barreto
J.M.Barreto
SH
Todo H M
J.M.Barreto
J.M.Barreto
J.M.Barreto
J.M.Barreto
J.M.Barreto
J.M.Barreto
J.M.Barreto
J.M.Barreto
P ^ Q (P V Q)
(P ^ Q) P V Q
P ^ Q ( P V Q)
P V Q ( P ^ Q)
J.M.Barreto
J.M.Barreto
J.M.Barreto
J.M.Barreto
J.M.Barreto
J.M.Barreto
x P(x)
x P(x) x G(x)
x G(x)
x P(x)
4. x P(x) 1
5.
X 3,4
x G(x) 1
X 2,4
J.M.Barreto
J.M.Barreto
6. P(a) 4
7.
X 5,6
G(a)
G(a) 4
X 3,6
J.M.Barreto
7. P(a) 6
8.
X 3,7
J.M.Barreto
G(a) 6
X 5,7
x (y P(x,y))
x (y P(y,x))
x (y P(x,y))
x (y P(y,x))
y P(a,y)
1
x ( y P(y,x)) 2
y P(y,b)
4
y P(y,b)
5
P(a,b)
6
P(a,b)
3
X
7,8
A frmula testada vlida
J.M.Barreto
1.
2.
3.
4.
5.
x P(x)
x P(x)
x P(x)
P(a)
x P(x)
P(b)
x P(x)
1
2
4
J.M.Barreto
1.
2.
3.
4.
5.
6.
a=b
P(a,b) P(b,a)
a=b
(P(a,b) P(b,a))
(P(a,a) P(a,a)) 1,2 =
P(a,a)
3
P(a,a)
3
X
4,5
A frmula testada vlida
J.M.Barreto
1.
2.
3.
4.
a=b
a=b
b=a
a=a
X
b=a
1,2 =
3=
J.M.Barreto
Dvidas?
J.M.Barreto