Documentos de Académico
Documentos de Profesional
Documentos de Cultura
LOGICA CUANTIFICACIONAL
Como ya desarrollamos la
eliminacin de
cuantificadores en
lgica proporsional; slo
se aadirn algunas
reglas adicionales que
utilizaremos para la
lgica cuantificacional.
X Variable cuantificada
Ejemplo: DySy,
entonces al aplicar la regla
de la introduccin del
universal; nos queda:
(x) (DxSx)
Generalizando: x
Por lo tanto: (x) x
---Cualquier enunciado posible
- --Cualquier individuo(cte)
X Variable cuantificada
Ejemplo:
(x) (DxSx), entonces al
aplicar la regla de la
eliminacion del
existencial; nos queda:
DySy
Generalizando: (x) x
Por lo tanto:
---Cualquier enunciado posible
X
--Cualquier individuo(cte)
Variable cuantificada
Ejemplo: DySy,
entonces al aplicar la regla
de la introduccin del
existencial; nos queda:
(x) (DxSx)
Generalizando: (x) x
Por lo tanto: x
---Cualquier enunciado posible
--Cualquier individuo(cte)
Variable cuantificada
Es el mismo que
utilizamos para la
lgica proposicional;
slo que ahora
tenemos cuatro reglas
adicionales.
Procedemos a travs de:
-Prueba Directa
-Prueba condicional
-Prueba de Reduccin al
Absurdo
Ejemplo:
1) (x) (PxTx)
2) Px// Tx
3) PxTx (EU) 1
4) Tx
(MP) 3,2
Primer anlisis
Ejem
Todos los ingenieros son
matemticos. Juan es Ingeniero.
Por tanto. Juan es matemtico
Formalizando:
1.
(x) (IxMx)
2.
Ij/Mj
Se lee:
Para todo x ,si x es Ingeniero
entonces x es mortal.
Juan es Ingeniero .
Por tanto : Juan es matemtico
(x) (IxMx)
Ij/Mj
Ij Mj .EU 1
Mj MP 3,2
..
Segundo anlisis
Ejem
(x) (IxPx)
2.
Se lee:
Para todo x, si x son ingenieros civiles
entonces son profesionales tcnicos.
Para todo x, x es una dama entonces
es Ingeniero civil .
Por tanto Para todo x, si x es una dama
entonces x es un profesional tcnico
1.
2.
3.
4.
5.
6.
(x) (IxPx)
(x) (DxIx) / (x) (DxPx)
IxPx) ..EU 1
DxIx .EU
2
DxPx ..S H
4,3
(x) (DxPx) .IU 5
.se resuelve
esquemas bsicos
con un sola
variable
-Se aplica a
proposiciones
categricas como
no categricas
Formalizando:
1.
(x) [Cx(BxPx)]
2.
(x) (Cx Pq) /
(x) (BxPx)
3.
Ba ..Int antec
4.
(Ca Pq) EE 2
5.
Ca (BaPa) ..EE1
6.
Ca .Simplif 4
7.
BaPa 5,6, MP
8.
Pa
Simplif 7
9.
BxPx . P.C 3,8
10. (x) (BxPx) . IE 8
PRUEBA DIRECTA
Su desarrollo es igual
que en la LP.
// (x) ( - Bx Ix)
Premisa adicional
5. (x) -( - Bx Ix)
6. Ax _ ( Fx Bx)
7. -(Ax Ix)
8. - ( - Bx Ix )
9. - ( - Ax Ix )
10. Ax - Ix
11. Ax
Simplificacin (10)
12. ( Fx Bx )
M. Ponens (6 y 11)
13. Fx Bx
Morgan (12)
14. - - Bx - - Ix
Morgan (8)
15. Bx Ix
16. Bx
Simplificacin (13)
17. Ix
18. Ix
Simplificacin (10)
19. Ix Ix
P.R.A (20)
LA PRUEBA DE INVALIDEZ
1.
(Ha Ia)
De 1 por IE