Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Exercicio Resolvido Deslocamento de Quantificadores
Exercicio Resolvido Deslocamento de Quantificadores
Dedutivos, 07-02-2013
Marcelino Pequeno
PREM
(-E) 1
SUP
(-E) 3 e 2
SUP
Lema Prop 1; 5
(-I) 6
(-E) 4 e SUB 5-7
(-I) SUB 3-8
SUP
Lema Prop 2; 10
(-I) 11
(-I) SUB 10-12
LemaProp3;9 e13
(-I) 14
2. Resoluo
1. x(Cube(x) y(Tet(y) Larger(y,x)))
2. y(Cube(a) (Tet(y) Larger(y,a)))
3. y(Cube(a) (Tet(y) Larger(y,a)))
4. (Cube(a) (Tet(b) Larger(b,a))
5. Cube(a) (Tet(b) Larger(b,a)))
6. Cube(a)
7. Cube(a) y(Tet(y) Larger(y,a))
8. y(Tet(y) Larger(y,a))
9. Tet(c) Larger(c,a)
10. (Cube(a) (Tet(c) Larger(c,a))
11. Cube(a) (Tet(c) Larger(c,a)))
12. (Tet(c) Larger(c,a))
13.
14.
15. y(Cube(a) (Tet(y) Larger(y,a)))
Lemas proposicionais:
1. A B A
2. A A B
3. B A; B A A
4. (A B) A B
PREM
SUP
Lema 1; 2
(-E) 3
Lema Prop 4; 4
(-E)5
(-E) 1
(-E) 6 e 7
SUP
(-E) 3
Lema Prop 4; 10
(-E) 11
(-I) 9 e 12
(-E)8 e SUB9-13
(-E) SUB 2-14
Lemas 1 Ordem:
1. xP(x) xP(x)
2. xP(x) xP(x)