LGICA DE 1.

ORDEM
POR MARCELINO PEQUENO

1.

Equivalncias Lgicas de Primeira ordem

1. xP(x) yP(y)
2. xP(x) yP(y)
3. xP(x) xP(x)
4. xP(x) xP(x)
5. xyP(x,y) yxP(x,y)
6. xyP(x,y) yxP(x,y)
7. x(P(x) Q(x)) xP(x) xQ(x)
8. x(P(x) Q(x)) xP(x) xQ(x)
9. x(P(x) Q(x)) xP(x) xQ(x)
10. x(P(x) R) (xP(x) R)
Obs. x no ocorre livre em R.
11. x(P(x) R) (xP(x) R)
12. x(P(x) R) (xP(x) R)
13. x(P(x) R) (xP(x) R)
14. x(P(x) R) (xP(x) R)
15. x(R P(x)) (R xP(x))
16. x(P(x) R) (xP(x) R)
17. x(R P(x)) (R xP(x))
18. xy(P(x) Q(y)) xP(x) yQ(y)
19. xy(P(x) Q(y)) yx(P(x) Q(y))
20. xy(P(x) Q(y)) xP(x) yQ(y)
21. xy(P(x) Q(y)) yx(P(x) Q(y))
22. xy(P(x) Q(y)) yx(P(x) Q(y))
23. xP(x) xQ(x) yx(P(x) Q(y))
24. xP(x) xQ(x) xy(P(x) Q(y))
25. xy(P(x) P(y)) xP(x) yP(y)
26. xy(P(x) P(y)) xP(x) xP(x)
27. xP(x) xQ(x) xyzu((P(x) Q(y)) (Q(z) P(u)))
28. (xP(x) ((xQ(x) xR(x))) xyz(P(x) Q(y) R(z))
29. xP(x) xQ(x)) xy(P(x) Q(y))
30. xP(x) xQ(x)) xy(P(x) Q(y))

2.

Conseqncia Lgica de Prmeira Ordem

1. xy P(x,y) yx P(x,y)
2. yx P(x,y) xy P(x,y)

3. xP(x) xQ(x) x(P(x) Q(x))

4. x(P(x) Q(x)) xP(x) xQ(x)
5. x(P(x) Q(x)) xP(x) xQ(x)
6. xP(x) xQ(x) x(P(x) Q(x))
7. x(P(x) Q(x)) xP(x) xQ(x)
8. xP(x) xQ(x) x(P(x) Q(x))
9. x(P(x) Q(x)) xP(x) xQ(x)
10.

xP(x) xQ(x) x(P(x) Q(x))

11.

x(P(x) xP(x))