tablas de la verdad

TABLA DE LA VERDAD
Una tabla de verdad, o tabla de valores de verdad, es una tabla que muestra el valor de verdad de una proposición
compuesta, para cada combinación de valores de verdad que se pueda asignar a sus componentes.
Fue desarrollada por Charles Sanders Peirce por los años 1880, pero el formato más popular es el que introdujo
Ludwig Wittgenstein en su Tractatuslogico-philosophicus, publicado en 1921.
…
En realidad toda la lógica está contenida en las tablas de verdad, en ellas se nos manifesta todo lo que implican
las relaciones sintácticas entre las diversas proposiciones.
No obstante la sencillez del algoritmo, aparecen dos dificultades.
La gran cantidad de operaciones que hay que hacer para una proposición con más de 4 variables.
Esta dificultad ha sidomagníficamente superada por la rapidez de los ordenadores, y no presenta dificultad alguna.
Que únicamente será aplicable a un esquema de inferencia, o argumento cuando la proposición condicionada, como conclusión, sea previamente conocida, al menos como
hipótesis, hasta comprobar que su tabla de verdad manifiesta una tautología.
Por ello se construye un cálculo mediante cadenas deductivas:Las proposiciones que constituyen el antecedente del esquema de inferencia, se toman como premisas de un argumento.
Se establecen como reglas de cálculo algunas tautologías como tales leyes lógicas, (pues garantizan, por su carácter tautológico, el valor V).
Se permite la aplicación de dichas reglas como reglas de sustitución de fórmulas bien formadas en las relaciones que puedan establecerseentre dichas premisas.
Deduciendo mediante su aplicación, como teoremas, todas las conclusiones posibles que haya contenidas en las premisas.
Cuando en un cálculo se establecen algunas leyes como principios o axiomas, el cálculo se dice que es axiomático.
El cálculo lógico así puede utilizarse como demostración argumentativa.

Las tablas de verdad, de la logica matematica.
Las tablas deverdad nos ayudan a establecer el valor de verdad de diferentes razonamientos logicos construidos a base de la 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 deverdad mas simple es la que corresponde a los valores de verdad de un solo enunciado nuclear.
 
P
V
F
 
Cuando hay dos enunciados nucleares, p y q, las tablas de verdad para los cuatro conectivos basicos (conjuncion, disyuncion, implicación y doble implicación), tienen cuatro niveles (2 elevado al numero de enunciados). Se pretende en la tabla que se puedan establecer todas las combinacionesde valores de verdad asumidos por los enunciados nucleares.
 
Los conectivos logicos son Y (para la conjuncion), O (para la disyuncion inclusiva), SI… ENTONCES (para la implicación o condicional), SI Y SOLO SI (para la doble implicación o bicondicional).
 
Las tablas de verdad son las siguientes:
 
Conjuncion
Disyuncion
Implicación
Doble implicacion
P
Q
P Y Q
V
V
V
V
F
F
F
V
FF
F
f

P
Q
P O Q
V
V
V
V
F
V
F
V
V
F
F
F

P
Q
P ENTONCES Q
V
V
V
V
F
F
F
V
V
F
F
V

P
Q
P SI Y SOLO SI Q
V
V
V
V
F
F
F
V
F
F
F
V

 
Una prueba simple se hace con la ayuda de dos enunciados nucleares como los siguientes:
P = el tejado esta sobre el piso.
Q = el piso esta debajo del tejado.



TABLA DE LA VERDAD
Tablas de verdad o tablade valores de verdad, es una tabla que muestra el valor de verdad de una proposición compuesta, para cada combinación de valores de verdad que se pueda asignar a sus componentes.
Origen
Fue desarrollada por Charles Sanders Peirce por los años 1880, pero el formato más popular es el que introdujo Ludwig Wittgenstein en su Tractatus logico-philosophicus, publicado en 1921.
La tabla de los...