Article 6014049324300 lsa; 2 es un
contraejemplo.
Usted encontrará frecuentemente situaciones en las cuales debe decidir si un resultado
propuesto es verdadero o es falso, y proporcionar un argumento que justifique su
decisión. Si el resultado es de la forma “Todo x tiene la propiedad P(x)”, y usted
puede exhibir un contraejemplo, habrá mostrado que el resultado es falso.
4.9 VALIDEZ DE RAZONAMIENTOS
EN EL CÁLCULO DE PREDICADOS
Antes de abordar este, el último tema sobre razonamientos deductivos, es conveniente
reiterar uno de los objetivos centrales de este libro: presentar una visión de conjunto
y de carácter introductorio del tema “Validez de razonamientos deductivos”.
En esta sección estudiaremos validez de razonamientos expresados en el lenguaje
del cálculo de predicados. Necesitaremos, junto a todos los elementos estudiados en
capítulos anteriores, cuatro nuevas reglas de inferencia: Particularización universal
(PU), Particularización existencial (PE), Generalización universal (GU) y Generalizaci