construccion tabla de verdad

TABLA DE VERDAD
DEFINICION:
La tabla de valores de verdad, también conocida como tabla de verdad, es una herramienta desarrollada por Charles Peirce en los años 1880, siendo sin embargo máspopular el formato que Ludwig Wittgenstein desarrolló en su Tractatus logico-philosophicus, publicado en 1918 por Bertrand Russell.Se emplean en lógica para determinar los posibles valores de verdad de unaexpresión o proposición. O si un esquema de inferencia, como argumento, es formalmente válido mostrando que, efectivamente, es una tautología.
Una de las razones que motivó la aparición de lalógica matemática, fue evitar la ambigüedad del lenguaje natural y transformar el pensamiento en un cálculo, según el modo de operar de las matemáticas. Simplificar o simbolizar las oraciones o juicios parapoder operar con ellas, así surge el lenguaje formal.En la gramática estamos acostumbrados a ver que la oraciones pueden ser verdaderas o falsas, según se ajusten o no a la realidad que expresan, porejemplo si llueve y digo que “hace sol”, esa oración es falsa. En cambio la lógica considera que las proposiciones pueden ser verdaderas o falsas con independencia de que en la realidad lo sean; poreso habla de valores de verdad.Una proposición [ p ] puede ser indistintamente verdadera o falsa; cuando es verdadera, le damos valor 1, cuando es falsa, le adjudicamos el valor 0.Consiste en abreviaro simbolizar las oraciones o juicios, que en la lógica matemática se llaman proposiciones. Estas proposiciones se reducen en el lenguaje formal a una sola letra, que llamamos variable, y lasimbolizamos con las letras minúsculas del alfabeto que van de la “p” hasta el final del abecedario.Si digo por ejemplo:”Antonio ama a Piedad”, esta proposición queda simbolizada en el lenguaje formal mediantela variable “p” o “q”, o “r”, o “s”.Además de estas variables, la lógica proposicional utiliza otros símbolos, llamados constantes, cuyo significado siempre es el mismo ya que modifican o unen a...