TABLA DE VERDAD,PRUEBA DE VALIDEZ E INVALIDEZ

INDICE



INTRODUCCION…………………………………………………………….. 2
TABLAS DE VERDAD……………………………………………………….. 3
PRUEBA DE INVALIDAD………………………………………………….. 8
PRUEBA DE VALIDEZ……………………………………………………… 13
CONCLUSION………………………………………………………………… 18
BIBLIOGRAFIA……………………………………………………………… 19
















INTRODUCCION

Un razonamiento es válido cuando constituye un ejemplo desustitución de una forma válida de razonamiento. Una forma de razonamiento es válida cuando sus premisas y conclusión están relacionadas de modo tal que es absolutamente imposible que las premisas sean verdaderas, a menos que la conclusión lo sea también. Luego, la validez de un razonamiento deductivo no depende del contenido informativo de las proposiciones que lo integran, sino de su forma lógica.
Unatabla de verdad, o tabla de valores de verdad, es una tabla que despliega el valor de verdad de una proposición compuesta, para cada combinación de valores de verdad que se pueda asignar a sus componentes.


















TABLAS DE VERDAD
Estas tablas pueden construirse haciendo una interpretación de los signos lógicos,Ø, Ù, Ú, ®, «,como: no, o, y, si…entonces, sí y sólo si,respectivamente. La interpretación corresponde al sentido que estas operaciones tienen dentro del razonamiento.Puede establecerse una correspondencia entre los resultados de estas tablas y la deducción lógico matemática. En consecuencia, las tablas de verdad constituyen un método de decisión para chequear si una proposición es o no un teorema.
Las tablas de verdad nos ayudan a establecer el valorde verdad de diferentes razonamientos logicos construidos a base de la combinación de dos o mas enunciados nucleares.
Negación: El valor de verdad de la negación es el contrario de la proposición negada.

Disyunción: La disyunción solamente es falsa si lo son sus dos componentes.

Conjunción: Solamente si las componentes de la conjunción son ciertas, la conjunción es cierta.

Condicional:El condicional solamente es falso cuando el antecedente es verdadero y el consecuente es falso. De la verdad no se puede seguir la falsedad.

Bicondicional: El bicondicional solamente es cierto si sus componentes tienen el mismo valor de verdad.

Se denomina tautología una proposición que es cierta para cualquier valor de verdad de sus componentes. Por tanto, la última columna de su tabla deverdad estará formada únicamente por unos.
Contradicción es la negación de una tautología, luego es una proposición falsa cualquiera sea el valor de verdad de sus componentes. La última columna de la tabla de verdad de una contradicción estará formada únicamente por ceros.
Las tablas de verdad nos ayudan a establecer el valor de verdad de diferentes razonamientos logicos construidos a base dela combinación de dos o mas enunciados nucleares.
Los enunciados nucleares se identifican con las letras del alfabeto, usualmente las de la segunda mitad del alfabeto: p, q, r, s, t, etc.
Puede usarse cualquier símbolo para identificar a los enunciados nucleares.
La tabla de verdad mas simple es la que corresponde a los valores de verdad de un solo enunciado nuclear.
Una prueba simple sehace con la ayuda de dos enunciados nucleares como los siguientes:
• P = el tejado esta sobre el piso.
• Q = el piso esta debajo del tejado.

P
Q
Conjuncion
P y Q
Disyuncion
P o Q
Implicación
Si P entonces Q
Doble implicación
P si y solo si Q
el tejado esta sobre el piso
el piso esta debajo del suelo
Verdadero
Verdadero
Verdadero
Verdadero
el tejado esta sobre el piso
Es falsoque el piso esta debajo del tejado
Falso
Verdadero
Falso
Falso
Es falso que el tejado esta sobre el piso
el piso esta debajo del suelo
Falso
Verdadero
Verdadero
Falso
Es falso que el tejado esta sobre el piso
Es falso que el piso esta debajo del tejado
Falso
Falso
Verdadero
Verdadero

Este es un ejemplo muy sencillo en una relacion de posición entre dos objetos.
En realidad...