Documentos de Académico
Documentos de Profesional
Documentos de Cultura
TEMARIO
La imagen varía
según el tema.
P1 P2 P3 Pn .. C
Desarrollamos la T.V.:
1 3 2 5 4
p q r (q r) p
V V V V F F V V
V V F V V V V V
V F V F F F V V
V F F F F V V V
F V V V F F V F
F V F V V V F F
F F V F F F V F
F F F F F V V F
Tipo de inferencia:
Inválida
3. PROCEDIMIENTO PARA DETERMINAR LA VALIDEZ DE LAS INFERENCIAS POR T.V.
[(q r) p] p .. ( r q)
Y ahora vamos a aplicar el método de T.V.
3. PROCEDIMIENTO PARA DETERMINAR LA VALIDEZ DE LAS INFERENCIAS POR T.V.
Desarrollamos la T.V.:
2 1 3 5 4 8 7 6
p q r [(q r) p] p .. (r q)
V V V V F V F F V F F
V V F V V V F F V F F
V F V F F V F F V V V
V F F V V V F F V F V
F V V V F F F V V F F
F V F V V F F V V F F
F F V F F V V V V V V
F F F V V F F V V F V
Tipo de inferencia:
Válida
3. PROCEDIMIENTO PARA DETERMINAR LA VALIDEZ DE LAS INFERENCIAS POR T.V.
Un último ejemplo
1. Proposiciones simples:
p = La economía peruana está en crisis.
q = Los capitales extranjeros invierten en el Perú.
r = Existe un ajuste estructural en la administración.
3. PROCEDIMIENTO PARA DETERMINAR LA VALIDEZ DE LAS INFERENCIAS POR T.V.
Continuación de la simbolización
3. Simbolización
3. PROCEDIMIENTO PARA DETERMINAR LA VALIDEZ DE LAS INFERENCIAS POR T.V.
Desarrollamos la T.V.
( 𝑝 → 𝑞 ) ∧ ( 𝑟 → 𝑝 ) . → .(𝑟 → 𝑞 )
p q r (p q) ( r p) .. (r q)
V V V V F F F F V V V V V V
V V F V F F F V V V V F V V
V F V V V V V F V V F V F F
V F F V V V V V V V V F V F
F V V F V F V F V F V V V V
F V F F V F F V F F V F V V
F F V F V V V F V F F V F F
F F F F V V F V F F V F V F
Tipo de inferencia:
Inválida
3. PROCEDIMIENTO PARA DETERMINAR LA VALIDEZ DE LAS INFERENCIAS POR T.V.
Ejercicios
Material del curso: Acuña, E. y otros (2018) Lógica ciclo 2018-1.
Lima: UPC. (pp. 122-137)