Historia De Las Tablas De Verdad
Una "tabla de verdad" es el procedimiento mecánico por el que podemos decidir sobre la validez de cualquier fórmula bien formada de la lógica proposicional en un número finito de pasos.
La tabla de verdad fue inventada por Charles Peirce en los años 1880, pero el formato más usado es el de Ludwig Wittgenstein, quién lo desarrolló en el "Tractatus logico-philosophicus", que fue dado a conocer al público en 1918 por Bertrand Russell.

Recoge todas las combinaciones posibles de una serie de variables, así como el resultado de una cierta operación entre ellas.
Las reglas de la tabla de verdad que sirven para validar o invalidar razonamientos:

1. Tabla para la Conjunción (Y), solamente si las …ver más…

La Disyunción: Se divide en disyunción inclusiva que se representa por  y se lee o; o también se lee como uno u otro o ambos. La disyunción exclusiva se representa por ¹ y se lee como O exclusiva, o también como uno u otro pero no ambos.

Condicional: Se representa por medio de una flecha  y se lee si.....entonces.....
Bicondicional: Se representa por  (relación de equivalencia) y se lee.....si y sólo si....., o también como condición necesaria y suficiente.

Negación: Se lee como no, es falso que, no es verdad que; y hay muchas formas de representarlo ()

Introducción:

La lógica estudia la forma del razonamiento, es una disciplina que por medio de reglas y técnicas determina si un argumento es válido. La lógica es ampliamente aplicada en la filosofía, matemáticas, computación, física. En la filosofía para determinar si un razonamiento es válido o no, ya que una frase puede tener diferentes interpretaciones, sin embargo la lógica permite saber el significado correcto. En las matemáticas para demostrar teoremas e inferir resultados matemáticas que puedan ser aplicados en investigaciones. En la computación para revisar programas. En general la lógica se aplica en la tarea diaria, ya que cualquier trabajo que se realiza tiene un