Tablas de verdad

Definiciones en el clculo lgico

Para establecer un Sistema formal se establecen las definiciones de
los operadores. Las definiciones se harn en funcin del fin que se pretenda al
construir el sistema que haga posible la formalizacin de argumentos:

Como razonamientos deductivos lgico-lingsticos

Como construccin de un sistema matemtico puro

Como una aplicacin lgica en un Circuito de conmutacin.

Verdadero

El valor verdadero se representa con la letra V; si se emplea notacin numrica se

expresa con un uno: 1; en un circuito elctrico, el circuito est cerrado
Falso
El valor falso se representa con la letra F; si se emplea notacin numrica se
expresa con un cero: 0; en un circuito elctrico, el circuito est abierto.
Variable

Para una variable lgica A, B, C, ... que pueden ser verdaderas V, o falsas F, los
operadores fundamentales se definen as:

Negacin
La negacin es un operador que se ejecuta, sobre un nico valor de verdad,
devolviendo el valor contradictorio de la proposicin considerada.

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 falsocuando 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 condi
cional

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
verdade
ro cuand
o ambas

proposiciones tienen el mismo valor de verdad, y falso cuando sus valores de

verdad son diferentes.
La tabla de verdad del bicondicional es la siguiente:

Que se corresponde con la columna 7 del algoritmo fundamental.