Demostracion Condicional Y Directa

Tema 1.9.3

Si una fórmula tiene la forma A → B y es una tautología, en donde A y B pueden ser proposiciones compuestas, entonces decimos que B se desprende lógicamente de A y se representa por A |= B.

También podemos considerar tautologías de la forma (p1 p2 ^ … ^ pn) → q

Entonces está implicación es verdadera sin importar los valores de verdad de cualquiera de sus componentes. En este caso, se dice que q se desprende lógicamente de p1,p2,…,pn. Se escribe.

p1 , p2 , … , pn |= q

o también

p1
p2
.
.
.
pn
___

q

Significa que si se sabe que p1 es verdadera, p2 es verdadera ,…, y pn también es verdadera, entonces estamos seguros que q es verdadera.

Prácticamente todos los teoremas matemáticos están compuestos por implicaciones de este tipo. Donde p1, p2, … son llamadas hipótesis o premisas, y q es llamada conclusión. Demostrar el teorema, es demostrar que la implicación es una tautología. Note que no estamos tratando de demostrar que q (la conclusión) es verdadera, sino solamente que q es verdadera si todas las p1, p2, … son verdaderas.

Una demostración directa comienza con las hipótesis, seguidas de las tautologías y reglas de inferencia necesarias, hasta llegar a la conclusión. Ver Tema anterior 1.9.2 Deduccion Preposicional.

A continuación veremos lo que es una prueba condicional. En este caso la conclusión es un enunciado de la forma A → B ; en este caso demostrar que la condicional sedesprende de un conjunto de premisas P1, P2, … Pn es equivalente a probar que B de desprende de las premisas junto con A, la cual se llama premisa adicional.

Esto lo podemos expresar en el siguiente teorema.

P1, P2, … , Pn |= (A → B) es equivalente a

P1, P2, … , Pn, A |= B.

Ejemplo 1. Demustre el argumento

p → ¬q, q ∨ ¬r, s → r |= p → ¬s

Demostración

Falta editar *** AQUÍ ME QUEDÉ ***

Demostración por contradicción.

El procedimiento de la demostración por contradicción es semejante a la que se realizó por el método directo con la diferencia de que las líneas iniciales de dicha demostración no son únicamente las hipótesis, sino además se incluye en la demostración una línea con la negación de la conclusión. Por otro lado el objetivo de la demostración es llegar a una contradicción.

La demostración del siguiente teorema por el método de contradicción es como se indica

[ p → (q ^ r) ] ^ [ (q ∨ s) → t ] ^ (p ∨ s) |= t

Demostración

1.- p → (q ^ r)          Premisa en la Hipótesis

2.- (q ∨ s) → t          Premisa en la Hipótesis

3.- p ∨ s          Premisa en la Hipótesis

4.- ¬t          Premisa Adicional, Negación de la conclusión

5.- ¬(q ∨ s)          MTT(2,4), regla 25

6.- ¬q ^ ¬s          Ley de De Morgan(5), 6ª

7.- ¬q          LS(6), regla 20

8.- ¬s         LS(6), regla 20

9.- p         SD(3,8), regla 21

10.- q ^ r          MPP(1,9), regla 24

11.- q          12; LS, regla 29

12.- q ^ ¬q          Conjunción(7,11), regla 23

12.- Contradicción.

Note que juntamente con las premisas se debe incluir la negación de la conclusión. En este momento el alumno ya tiene los elementos para llevar a cabo demostraciones con el apoyo del maestro. Es conveniente plantear varios enunciados, para que el alumno los represente con simbología lógica en forma de teorema. Que ese mismo teorema lo represente con su tabla de verdad y haga la correspondiente demostración por los dos métodos antes mencionados.

La forma en que el aprende a aplicar reglas de inferencia es semejante a la manera en que deberá realizar una factorización o una aplicación de una fórmula en cálculo diferencial o integral o la formula que debe aplicar para resolver un problema en física. Lo que debe aprender es a relacionar los distintos conocimientos para poder llegar a la solución. Es importante mencionar que el camino que debe seguir el alumno no es el mismo que el maestro siguió sino uno distinto pero que ambos llegan al resultado.