Tablas de verdad

Una tabla de verdad, o tabla de valores de verdad, es una tabla que muestra
el valor de verdad de una proposicin compuesta, para cada combinacin de
verdad que se pueda asignar.
1

Fue desarrollada por Charles Sanders Peirce por los aos 1880, pero el formato
ms popular es el que introdujo Ludwig Wittgenstein en su Tractatus logico-
philosophicus, publicado en 1921.

Conjuncin
La conjuncin es un operador que opera sobre dos valores de verdad, tpicamente
los valores de verdad de dos proposiciones, devolviendo el valor de
verdad verdadero cuando ambas proposiciones son verdaderas, y falso en
cualquier otro caso. Es decir es verdadera cuando ambas son verdaderas
La tabla de verdad de la conjuncin es la siguiente:

Que se corresponde con la columna 8 del algoritmo fundamental.


Disyuncin
La disyuncin es un operador que opera sobre dos valores de verdad,
tpicamente los valores de verdad de dos proposiciones, devolviendo el
valor de verdad verdadero cuando una de las proposiciones es
verdadera, o cuando ambas lo son, y falso cuando ambas son falsas.
La tabla de verdad de la disyuncin es la siguiente:

Que se corresponde con la columna 2 del algoritmo fundamental.


Implicacin o Condicional
El condicional material es un operador que opera sobre dos valores de verdad,
tpicamente los valores de verdad de dos proposiciones, devolviendo el valor
de falso slo cuando la primera proposicin es verdadera y la segunda falsa,
y verdadero en cualquier otro caso.
La tabla de verdad del condicional material es la siguiente:

Que se corresponde con la columna 5 del algoritmo fundamental.


Equivalencia, doble implicacin o Bicondicional
El bicondicional o doble implicacin es un operador que funciona sobre dos
valores de verdad, tpicamente los valores de verdad de dos proposiciones,
devolviendo el valor de verdad verdaderocuando ambas proposiciones tienen el
mismo valor de verdad, y falso cuando sus valores de verdad diferente.
La tabla de verdad del bicondicional es la siguiente:

Que se corresponde con la columna 7 del algoritmo fundamental.



Relaciones de la Lgica con otras ciencias

La lgica est relacionada con todas las ciencias, porque como dijo Cohen, es el
aspecto formal de todo cuanto existe. En forma general diramos:
Desde el punto de vista formal todas las ciencias estn integradas por conceptos,
juicios y razonamientos, los cuales son la parte fundamental del objeto de la
lgica.
As mismo, les proporciona a todas las ciencias la teora para las demostraciones
cientficas. No se puede hablar de ciencia si esta no est organizada conforme a
las leyes de la lgica.
La metodologa es lgica aplicada, inferida de numerosos casos cientficos.
Dichos procesos lgicos se deben observar si se desea obtener el conocimiento
cientfico.
De manera especial, est vinculada con la matemtica, la psicologa, la lingstica,
la filosofa, computacin, ciencia, gramtica, y con la teora del conocimiento.

Comunicacin y Lenguaje: un contacto humano
Indudablemente, dentro del reino animal, el ser humano es el que ha desarrollado
las formas ms elaboradas de comunicacin. Desde los tiempos ms primitivos, el
hombre ha ideado formas de intercambiar mensajes (seales de humo, sonido de
tambores, mmica, lenguaje oral).
Si miras a tu alrededor o escuchas los sonidos de tu entorno, descubrirs que el
mundo en que vivimos est lleno de mensajes que permanentemente entregan
informacin. De esta manera encontramos:
Smbolos universales, como la calavera en productos venenosos, las llamas en
sustancias inflamables, la imagen de una mujer a la entrada de un bao, las
seales del trnsito, los semforos, etctera.











Ciencias naturales
Ciencias naturales, ciencias de la naturaleza, ciencias fsico-
naturales o ciencias experimentales son aquellas ciencias que tienen por objeto
el estudio de la naturaleza siguiendo la modalidad del mtodo cientficoconocida
como mtodo experimental. Estudian los aspectos fsicos, y no los aspectos
humanos del mundo. As, como grupo, las ciencias naturales se distinguen de
las ciencias sociales o ciencias humanas (cuya identificacin o diferenciacin de
las humanidades y artes y de otro tipo de saberes es un problema epistemolgico
diferente). Las ciencias naturales, por su parte, se apoyan en
el razonamiento lgico y el aparato metodolgico de las ciencias formales,
especialmente de la matemtica y la lgica, cuya relacin con la realidad de la
naturaleza es indirecta.