MÉTODOS DE PRUEBA Y CUANTIFICADORES LÓGICOS

UNIVERSIDAD EXPERIMENTAL DE GUAYANA
INFORMÁTICA
SECCIÓN: I
SEMESTRE: I






MÉTODOS DE PRUEBA Y CUANTIFICADORES LÓGICOS





PROFESORA: INTEGRANTES:ZaidePUERTO ORDAZ, JULIO DEL 2015

INTRODUCCION
Haremos inicialmente un acercamiento a la Lógica Proposicional y continuaremos más formalmente en las reglas yprocedimientos Avanzaremos con la identificación y conceptos que nos permitirán decidir si los argumentos utilizados son válidos o no, y finalmente mostraremos ejemplos y métodos para obtenerdemostraciones.
Usaremos estos contenidos muy frecuentemente para justificar parte del trabajo matemático y lógico que desarrollaremos a lo largo del texto.


MÉTODOS DE PRUEBAS
Son argumentos en losque nos valemos para establecer la validez de un teorema
MÉTODO DIRECTO
Una demostración directa consiste en que se tiene como hipótesis verdaderas las proposiciones P1, P2,… Pn procediendo a ladeducción de que la conclusión Q es verdadera a través de un proceso lógico deductivo, es decir como una cadena de implicaciones lógicas. El esquema de demostración en el método directo es de laforma:
P1&P2&…&Pn Q
El método de demostración directo tiene como fundamento lógico la regla de inferencia clásica o esquema argumentativo valido llamado modus ponens:
[P&(P Q)] QQue significa: si la hipótesis P es verdadera y la hipótesis P implica la conclusión Q entonces la conclusión Q es verdadera
Ejemplo 1:


Ejemplo 2:

MÉTODO ABREVIADO DEBILITAMIENTO
Supongamosque la inferencia es falsa. Es decir, consideramos el único caso es falso: “que la premisa sea verdadera y la conclusión falsa”.
Con esta consideración, suponemos valores para la mayoría de las...