*Metodo directo *metodo abreviado debilitamiento *pruebas suponiendo el antecedente *prueba por contradiccion *cuantificadores: universales, existenciales logica

TÉCNICAS DE PRUEBA






















PUERTO ORDAZ, 16 DE JULIO DEL 2014
INDICE

Introducción……………………………………………………………………...
3
Demostración por el método directo……………………………………………..
4
Método Abreviado debilitamiento……………………………………………….
6
Prueba suponiendo el antecedente……………………………………………….
7
Prueba porcontradicción………………………………………………………...
8
Cuantificadores Universales y Existenciales…………………………………….
Conclusión…………………………………………………………………….....
9
10
Bibliografía………………………………………………………………………
11
Anexos………………………………………………………………………......
12





































INTRODUCCIÓN


La lógica tradicionalmente se consideró una rama de la filosofía. Pero desde finales del siglo XIX, su formalización simbólica ha demostrado unaíntima relación con las matemáticas, y dio lugar a la lógica matemática. En el siglo XX la lógica ha pasado a ser principalmente la lógica simbólica, un cálculo definido por sus símbolos y reglas de inferencias, lo que ha permitido su aplicación a la informática. Hasta el siglo XIX, la lógica aristotélica y estoica mantuvieron siempre una relación con los argumentos formulados en el lenguajenatural. Por eso aunque eran formales, no eras formalistas. Hoy esa relación se trata bajo un punto de vista completamente diferente. La formalización estricta ha mostrado las limitaciones de la lógica tradicional o aristotélica, que hoy se interpreta como una parte pequeña de la lógica de clases.

La lógica investiga los principios por los cuales algunas inferencias son aceptables, y otras no.Cuando una inferencia es aceptable, lo es por su estructura lógica, y no por el contenido específico del argumento o el lenguaje utilizado. Por esta razón la lógica se considera una ciencia formal, como la matemática, en vez de una ciencia empírica.































DEMOSTRACIÓN POR EL MÉTODO DIRECTO

Si tomamos una frase lógica condicional sencilla deltipo:

P⇒Q

Que podemos analizar como “si se cumple P entonces se cumple Q”, esto lo hacemos de forma natural sin complicarnos en hacer análisis más intensivos o mas extensivos pues lo hacemos de una forma innata. Si decimos:
 
“El cielo está nublado, va a llover”

Estamos realizando una asociación de causa y efecto. En la cual “el cielo esta nublado” es la causa y el efecto lógico esque, “va a llover”. Desde el punto de vista de la lógica esta relación es irrevocable. Así mismo en una relación matemática se puede verificar esta sencilla relación en la cual si se cumple la premisa P entonces se puede decir que se cumplirá la consecuencia Q. A este proceso formal se le denomina “demostración mediante el método directo” es innecesario decir que si no se cumple o verifica Pentonces su consecuencia tampoco se verificará.
¬P⇒¬Q

Supóngase que P⇒Q es una tautología, en donde P y Q pueden ser proposiciones compuestas, en las que intervengan cualquier número de variables propositivas, se dice que q se desprende lógicamente de p.

Supóngase una implicación de la forma.
(P1 ∧ P2 ∧ P3 ∧... ∧ Pn) ⇒ Q

Es una tautología. Entonces está implicación es verdadera sin importarlos 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. El camino que se debe seguir para llevar a cabo una demostración formal usando el método directo. Significa que sí se sabe que P1 es verdadera, P2 es verdadera,...... y Pn también es verdadera, entonces se sabe que Q es verdadera. La mayoría de los teoremasmatemáticos cumplen con esta estructura básica:
(P1 ∧ P2 ∧ P3 ∧... ∧ Pn) ⇒ Q

Donde las Pi condiciones son llamadas hipótesis o premisas, y Q es la conclusión. “Demostrar un teorema” es demostrar que la condicional es una tautología. Ojo, no se pide demostrar que la conclusión es verdadera, lo que se quiere es demostrar que Q es verdadera siempre y...