Documentos de Académico
Documentos de Profesional
Documentos de Cultura
TEMARIO
La imagen varía
según el tema.
P1 P2 P3 Pn .. C
F ( r p ) (7) V(s)
F (r) F (p)
F (q r) (9) V (p)
F (q) F (r)
3. PROCEDIMIENTO PARA DETERMINAR LA VALIDEZ DE LAS INFERENCIAS POR D.S.
1. Simbolizamos la inferencia.
2. Asumir que la fbf es falsa, es decir, las premisas
verdaderas y la conclusión falsa.
3. Desarrollar el D.S.
4. Si se cierran todas las ramas, no se cumple la hipótesis de
falsedad y, por tanto, la inferencia es válida.
5. Si por lo menos una rama queda abierta, se cumple la
hipótesis de falsedad y, por tanto, la inferencia es
inválida.
EJERCICIOS
Ejercicios
Material del curso: Acuña, E. y otros (2018) Lógica ciclo 2018-1.
Lima: UPC. (pp. 114-127)
Una inferencia es válida si es imposible que todas las premisas sean verdaderas y la
02 conclusión sea falsa. Luego, será inválida si es posible que todas sus premisas sean
verdaderas y su conclusión sea falsa
Para decidir si una inferencia es válida o no, mediante Diagramas Semánticos, se debe
04 suponer falsa y verificar si la fbf inferencial resulta tautológica.
BIBLIOGRAFÍA
Acuña, E. y otros (2018) Lógica ciclo 2018-1. Lima: UPC. (pp. 117-122, 123-138)
COPYRIGHT © UPC
2018 – Todos los
derechos reservados