Vous êtes sur la page 1sur 6

Tablas de Verdad

Las tablas de verdad es una estrategia de la lgica simple que permite establecer la validez
de varias propuestas en cuanto a cualquier situacin, es decir, determina
las condiciones necesarias para que sea verdadero un enunciado propuesto, permitiendo
clasificarlos en tautolgicos (resultan verdaderos durante cualquier situacin) contradictorias
(son enunciados falsos en la mayora de los casos) o contingentes (enunciados que no pueden
ser tantos verdaderos como falsos no existen tendencia a un solo sentido).

Permite diferentes aspectos del enunciado como las condiciones que lo hacen verdadero y
cules son sus conclusiones lgicas, es decir, si el enunciado propuesto es verdadero o falso.
Esta tabla fue ideada por Charles Sander Peirce aproximadamente en 1880, pero la ms
utilizada es el modelo actualizado de Luidwin Wittgenstein en 1921.

La construccin de la tabla est fundamentada en la utilizacin de un letra para las variables


del resultado y las mismas se cumplen se dicen que son verdaderas, en el caso contrario de
que no se cumpla se les asigna el apelativo de falsas, por ejemplo: Enunciado: Si nos
mudamos, mi perro se muere. Variables: A: Si se muda- B: el perro se muere.

Si se dice que es verdadero a ambas variables se les asigna la letra (V) y representa la
positividad del enunciado, si algunas de las variables no se cumple se les asigna la letra (F)
esto no representa la falsedad del enunciado ya que con cumplirse una sola variable se puede
designar como verdadero, eso depender del enunciado. Cuando ambos valores resultan
verdaderos en todas las ocasiones se dice que existe una conjugacin en el enunciado, en
cambio s se obtiene dos resultados verdaderos y luego uno verdadero y el otro falso se dice
que existe una disyuncin.
La forma normal conjuntiva tambin resulta de concebir la tabla de verdad como un anlisis
clsico. En este caso, sin embargo, los renglones relevantes son los que hacen falso al
enunciado para analizar. Como este tipo de anlisis es el dual del anlisis anterior, todas las
operaciones lgicas se invierten. A cada rengln le corresponde una disyuncin en vez de una
conjuncin, y cada conjunto es el opuesto de su correspondiente en el anlisis anterior. Por
ejemplo, ya vimos que si da verdadero para la frmula final, al tercer rengln de la tabla de dos
variables (P y Q), le corresponde la conjuncin ((~P)&Q)). Por dualidad, si diera falso, le
correspondera la disyuncin (Pv(~Q)). Finalmente, en vez de una disyuncin de las
conjunciones correspondientes a los renglones que dan verdadero, la forma normal conjuntiva
resulta de la conjuncin de las disyunciones correspondientes a cada rengln que da falso. En
el caso de (15), slo hay un rengln, as que la forma normal conjuntiva correspondiente tendra
un solo conjunto: la disyuncin correspondiente al cuarto rengln. ((~P)Q) (P v Q) Por lo
menos en el caso de las conectivas extensionales, las tablas de verdad y las reglas de inferencia
(de introduccin y eliminacin) de un conectivo son equivalentes y es fcil demostrarlo. Basta
definir la inferencia lgica (el concepto clave en las reglas de inferencia) en trminos de
condiciones de verdad (el concepto clave en las tablas de verdad). As, decir que una
proposicin implica a otra equivale a decir que la primera no puede ser verdadera, sin la otra
serlo tambin; en otras palabras, para cualquier circunstancia de evaluacin, si la primera es
verdadera, la segunda tambin lo es. Bajo esta equivalencia, se puede demostrar fcilmente
que las reglas de introduccin y eliminacin de los conectivos extensionales contienen la misma
informacin sobre el significado de los conectivos lgicos que las funciones de verdad. En el
caso de la conjuncin, por ejemplo, las reglas de introduccin y eliminacin diran que, en
cualquier circunstancia de evaluacin: (Introduccin) Si S1 y S2 son verdaderos, tambin lo es
S1&S2. (Eliminacin) S1&S2 es verdadero slo si S1 y S2 son ambos verdaderos. En conjunto,
las reglas dicen que S1&S2 es verdadero si y slo si S1 y S2 son ambos verdaderos, que es
exactamente lo mismo que dice la tabla de verdad de la conjuncin.

Construccin de las columnas de los argumentos. En las columnas de los argumentos hay
que consignar los posibles valores de verdad de las letras o variables presentes en una frmula
dada. El nmero de combinaciones posibles es 2n, siendo n = nmero de variables o el grado
de la frmula, y 2= a los valores de verdad que podemos asignar: verdadero (1), falso (0). Las
frmulas segn el nmero de variables se clasifican en:
Frmulas de orden uno, si n =1. Ejemplo: la frmula (p p), o la frmula ( p p)
Frmulas de orden dos, si n =2 Ejemplo: la frmula (p q), o la frmula ( p q) q
Frmulas de orden tres, si n =3 Ejemplo: la frmula ( p q) s, o la frmula (p
p) (s q)
Frmulas de orden n, si n = n

Se procede asignando la mitad de los valores verdaderos y la otra mitad falsos para la
primera variable. Para la segunda, la mitad de los valores verdaderos, han de ser verdaderos
y la otra mitad falsos. As sucesivamente, de tal manera que a la ltima variable se le asignen
siempre 1 0 1 0.
Construccin de las columnas de los juntores. Es necesario proceder en primer lugar
registrando la tabla de verdad de los juntores de menor dominancia hasta llegar a los de mayor
dominancia. Para ello es suficiente con proceder de dentro de la frmula afuera.

Ejemplos:

Elementos:
Tabla tipo negacin:
La negacin clsica es una operacin sobre un valor de verdad, tpicamente, el valor de
una proposicin, que produce un valor de verdadero cuando su operando es falso, y un valor
de falso cuando su operando es verdadero. Por tanto, si el enunciado A es verdadero,
entonces A (pronunciado "no A") sera consecuentemente falso; y lo contrario, si A es
verdadero, entonces A sera falso.
La tabla de verdad de p es la siguiente:

Tabla de verdad de p

p p

Verdadero Falso

Falso Verdadero

La negacin clsica se puede definir en trminos de otras operaciones lgicas. Por ejemplo,
p se puede definir como p F, donde "" es una implicacin lgica y F es una falsedad
absoluta. Por el contrario, se puede definir F como p & p para cualquier proposicin p, donde
"&" es una conjuncin lgica. La idea aqu es que cualquier contradiccin es falsa. Mientras
estas ideas funcionan tanto en la lgica clsica como en la intuicionista, no funcionan en
la lgica para consistente, donde las contradicciones no son necesariamente falsas.
Disyuncin:
Es un operador que acta 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:
Conjuncin
Es un operador, que acta 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:

Condicional
Es un operador que acta 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:

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 son diferentes.
MTODO DE KARNAUGH

Un mapa de Karnaugh (tambin conocido como tabla de Karnaugh o diagrama de Veitch,


abreviado como Mapa-K o Mapa-KV) es un diagrama utilizado para la simplificacin
de funciones algebraicas Booleanas. El mapa de Karnaugh fue inventado
en 1950 por Maurice Karnaugh, un fsico y matemtico de los laboratorios Bell.
Los mapas de Karnaugh reducen la necesidad de hacer clculos extensos para la
simplificacin de expresiones booleanas, aprovechando la capacidad del cerebro
humano para el reconocimiento de patrones y otras formas de expresin analtica, permitiendo
as identificar y eliminar condiciones muy inmensas.
El mapa de Karnaugh consiste en una representacin bidimensional de la tabla de verdad de
la funcin a simplificar. Puesto que la tabla de verdad de una funcin de N variables posee
2N filas, el mapa K correspondiente debe poseer tambin 2 N cuadrados. Las variables de la
expresin son ordenadas en funcin de su peso y siguiendo el cdigo Gray, de manera que
slo una de las variables vara entre celdas adyacentes. La transferencia de los trminos de la
tabla de verdad al mapa de Karnaugh se realiza de forma directa, albergando un 0 un 1,
dependiendo del valor que toma la funcin en cada fila. Las tablas de Karnaugh se pueden
fcilmente realizar a mano con funciones de hasta 6 variables, para funciones de mayor
cantidad de variables es ms eficiente el uso de software especializado.

El mtodo de Karnaugh es un mtodo grfico. Se usan unas tablas llamadas tablas o diagramas
de Karnaugh. Dichas tablas tienen una casilla por cada combinacin de variables de la funcin,
de forma que para 3 variables
Una vez construido el mapa de Karnaugh, la siguiente tarea es la de seleccionar conjunto de
trminos denominados subcubos de manera que se obtenga el menor nmero de
subcubos posible. Estos subcubos se seleccionan formando grupos de rectngulos que
encierren a los unos del mapa, las reas deben ser potencia de 2 (ej. 1, 2, 4, 8, ...) y se debe
tratar de agrupar el mayor nmero de unos posible. En resumen hay que tomar en cuenta al
hacer estos grupos de unos (subcubos) lo siguiente:

Se puede visualizar tambin que los grupos pueden continuar en el lado opuesto como en el
subcubo 1 de la figura dibujado en azul.

Debemos utilizar todos los unos del mapa.


Es mejor crear el menor nmero de grupos.
Los unos pueden estar en varios grupos.
El nmero de unos dentro de un grupo debe ser cualquier potencia de 2.
Cuanto ms grande sea un grupo, la simplificacin de la funcin ser mejor.
No es necesario que todos los grupos tengan el mismo tamao.

Vous aimerez peut-être aussi