Академический Документы
Профессиональный Документы
Культура Документы
Integrantes:
Iris Marcano
C.I. 14.455.517
Hanlet Cangahuala
C.I. 23.152.526
TABLAS DE VERDAD
Fue desarrollado por Charles Sanders Peirse por los años 1880, pero el formato más
Caracas 27 de Abril de 2011 popular es el que introdujo Ludwig Wittgenstein en su Tractatus Logico-Philosophicus,
publicado en 1921.
Tabla de Verdad, o Tabla de Valores de Verdad.
Es una tabla que despliega el valor de verdad de una proposición compuesta, para cada combinación de valores de verdad
que se pueda asignar a sus componentes.
El valor de verdad que se asigna a una proposición compuesta suponemos que se asigna de acuerdo con la extensión natural
de las hipótesis anteriores.
Dichas hipótesis se resumen y se generalizan por medio de lo que se llama una tabla de verdad, se puede conocer el valor de
verdad de una proposición, que contiene conectivos, determinando el valor de verdad de cada una de las componentes.
A una proposición P se le asigna los valores V o F, escritos en este orden, debajo de la proposición P.
Las tablas de verdad para los conectivos ~, v, ^, -->, < -- > se verán a continuación.
p ~p
V F
F V
Operadores Fundamentales
Esta tabla nos hace recordar la definición que vimos anteriormente de la negación, que dice: si el valor de verdad de p es
verdadero, entonces el valor de verdad de ~p es falso. Si el valor de verdad de p es falso, entonces el valor de verdad de ~p
es verdadero.
Las tablas de verdad anteriores son las que se necesitan para deducir el valor de verdad de cualquier proposición por
complicada que sea. A las tablas de verdad deducidas a partir de ellas se les llama tabla de verdad deducidas.
Tautología: es aquella proposición que en todos los casos posibles de su tabla de verdad su valor es V.
Regla para la Construcción de Tablas de Verdad
Si tenemos dos proposiciones, como en todos los casos anteriores que hemos visto, necesitaremos cuatro filas. De estas
cuatro filas la primera columna tendrá valores de verdad: V,V, y F,F, y la segunda columna V,F,V y F. Las siguientes
columnas tendrán los valores de verdad según la proposición dada.
Si se tienen tres proposiciones, necesitaremos ocho filas, de las cuales la primera columna se acomodarán los valores de
verdad de la siguiente manera: V,V,V,V y F,F,F,F. Para la segunda columna se reparten los valores: V,V,F,F, V,V,,F,F. Y la
tercera columna serán: V,F,V,F,V,F,V,F.
Para cuatro proposiciones, se necesitan 16 filas de las cuales en la primera columna se reparten los valores de verdad: 8V y
8F. La segunda columna empezará con cuatro V, después cuatro F, y así sucesivamente hasta ocupar los 16 lugares, es decir,
V,V,V,V,F,F,F,F,V,V,V,V y F,F,F,F,F. para la tercera columna: V,V,F,F… hasta la fila número 16.
En general:
Analizando que para dos proposiciones se necesitan cuatro filas.. O visto de otra manera: se necesitan 2 a la 2 = 4 filas. Para
tres proposiciones se necesitan ocho filas, o, 2 a la 3 = 8. Para cuatro proposiciones necesitaremos 2 a la 4 = 16 filas… en
general para n proposiciones necesitaremos 2n filas o variables.
Ejemplos:
A ^ (B v C) < -- > (A v B) ^ (A v C)
V V V V V V V V V V V V V
V V V V F V V V V V V V F
V F F V V F V V F V V V V
V F F F F F V V F V V V F
F F V V V F F V V V F V V
F F V V F V F V V F F F F
F F F V V V F F F F F V V
F F F F F V F F F F F F F
En esta tabla no hay tautología ya que todas no son V.
V F F V V V V V V F V V V V F V V V
F V V F V F F F V V F V F V V F V F
p ^ q p
Tautología (p q) ^ (p ^ ~ q)
V V V V V
V V V F V F F V
V F F V V
V F F F V V V F
F F V V F
Contradicción F V V F F F F V
F F F V F
F V F F F F V F
3. p v (q r)
p v (q r)
V V V V V
V V V F F
V V F V V
Indeterminación
V V F V F
F V V V V
F F V F F
F V F V V
F V F V F
Ejercicios
4.(p q) ^ q p 5 (p q) ^ (q r) (p r)
(p q) ^ (q r) (p r)
(p q) ^ q p
Tautología. V V V V V V V V V V V
V V V V V V V
V V V F V F F V V F F
V F F F F F V
V F F F F V V V V V V
F F V F V F F
V F F F F V F V V F F
F V F V F V F F V V V V V V V F V V
F V V F V F F V F V F
Indeterminación
F V F V F V V V F V V
p (q r)
V V V V V F V F V F V F V F V F
V F V F F
V V F V V
V V F V F
6. p (q r)
F V V V V
F V V F F
F V F V V
F V F V F
Ejercicios
- Jaime se come el polo o se le derretirá; no se derrite el polo; por tanto, Jaime se come el polo. P= Jaime se come el polo q
= el polo se derrite. (p ^q) & ~q p.
(p v q) & ~ q p
V V V F F V V V
Tautología
V V F V V F V V
F V V F F V V F
F F F F V F V F
– Juan partirá para Japón, si María se queda en Venecia. Rosa viajará a Luxemburgo o Juan no partirá para Japón. O María
no se queda en Venecia o Rosa no viajará a Luxemburgo. Por consiguiente, María no se queda en Venecia.
Juan Japón : p ((q p) & (r v ~ p)) & (~ q v ~ r) ~ q
María Venecia: q V V V V V V F V F F V F F V V F V
Rosa Luxemburgo: r V V V F F F F V F F V V V F V F V
F V V F F F F V F V F V V F V V F
V F F F V V V F F F V F F V V F V
Tautología V F F F F V V F F F V V V F V F V
F V F V V V V F V V F V F V V V F
F V F V F V V F V V F V V F V V F
Ejercicios
- Si la Luna es mayor que la Tierra, la Tierra es mayor que el Sol. Júpiter es mayor que Plutón, si la Tierra es mayor que el
Sol. Por lo tanto, si la Luna es mayor que la Tierra, Júpiter es mayor que Putón.
Luna mayor: p
Tierra mayor: q
Júpiter mayor: r (p q) & (q r) (p r)
Tautología F V V V V V V V F V V
F V V F V F F V F V F
F V F V F V V V F V V
F V F V F V F V F V F
Ejercicios
– Cuando viajo me mareo. Siempre que me mareo, me entra un hambre atroz. Asi pues, siempre que me entra un hambre
atroz, viajo.
Viajo: p ((p q) & (q r)) (r p)
Mareo: q V V V V V V V V V V V
Hambre : r V V V F V F F V F V V
V F F F F V V V V V V
((p q) & (q r)) (r p)
V F F F F V F V F V V
INDETERMINACIÓN F V V V V V V F V F F
F V V F V F F V F V F
F V F V F V V F V F F
F V F V F V F V F V F
V F F F F F V V F F V V F
V F F F F F V F F V F V F