demOstraciiones fOrmales

DEMOSTRACIÓN FORMAL:
Una demostración formal consiste en mostrar que la conclusión puede derivarse desde las premisas mediante la aplicación de las reglas de inferencia. Para probar que el argumento mostrado más arriba es válido usted necesita dos únicas reglas de inferencia. 1. Silogismo hipotético [HS] 2. Modus Tollens [MT] Un desglose detallado de la demostración formal, para el problema mostrado más arriba, es el siguiente: Paso 1: Desde la línea 1 y la linea 2 nosotros podemos derivar T > L por (HS). HS P > Q (1) T > H Q > R (2) H > L - - ------ ---------- P > Q T > L Usted indica este nuevo paso en la demostración formal añadiendo una cuarta línea justificada con los números de las lineas a las que afectó la aplicación de la regla del HS: 1. T > H 2. H > L 3. ~L /~T 4. T > L 1, 2 (HS) Paso 2: Despues podemos usar la regla del Modus Tollens (MT) para derivar ~T desde líneas 3 y 4. T > L ~L ------ ~T Usted indica este nuevo paso en la demostración formal, añadiendo una quinta linea justificada con los números de las lineas a las que afectó la aplicación de la regla del MT: 1. T > H 2. H > L 3. ~L /~T 4. T > L 1, 2 (HS) 5. ~T 3, 4 (MT) La demostración formal es completa una vez usted ha derivado una línea que es la conclusión.