Ministerio de educacin y cultura

COLEGIO TCNICO
NACIONAL
DR. BLAS GARAY
TABLAS DE CERTEZA
ANA CATTEBEKE
03/09/2014

INTRODUCCIN
Las tablas de verdad nos ayudan a establecer el valor de verdad de
diferentes razonamientos lgicos construidos a base de la combinacin de
dos o ms 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 smbolo para identificar a
los enunciados nucleares. La tabla de verdad ms simple es la que
corresponde a los valores de verdad de un solo enunciado nuclear
PVF.Cuando hay dos enunciados nucleares, p y q, las tablas de verdad para
los cuatro conectivos bsicos (conjuncin, disyuncin, implicacin y doble
implicacin), tienen cuatro niveles (2 elevado al nmero de enunciados).
Se pretende en la tabla que se puedan establecer todas las combinaciones
de valores de verdad asumidos por los enunciados nucleares. Los
conectivos lgicos son Y (para la conjuncin), O (para la disyuncin
inclusiva), SI ENTONCES (para la implicacin o condicional),SI Y SOLO SI
(para la doble implicacin o bicondicional).Las tablas de verdad son las
siguientes que estaremos viendo a continuacin


TABLAS DE CERTEZA
CONCEPTO:
Un mtodo en general ms conveniente que el diagrama para analizar los
valores de certeza de proposiciones, es el de poner todas las posibilidades
de certeza o falsedad en forma de una tabla.
En efecto, todas las reglas de certeza funcional que se utilizan para
proposiciones moleculares pueden resumirse en forma de tabla.
Estas tablas bsicas de certeza indican rpidamente si una proposicin
molecular es cierta o falsa si se conoce la certeza de las proposiciones que
la forman.
EJEMPLOS:
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 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 verdadero
cuando 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:

EJERCICIOS 1
p r P v p P v p r
V V V V
V F V F
F V F V
F F F V

EJERCICIOS 2
p q P -> q (p -> q) ^ (p -> q)
V V V V
V F F F
F V V V
F F V V