Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Tablas de Verdad
Tablas de Verdad
Una proposición lógica es una expresión enunciativa a la que puede atribuirse un sentido
o función lógica de verdad o falsedad.
En el idioma científico, una proposición se refiere a un enunciado que puede ser
verdadero o falso, generalmente una oración enunciativa, base de lo que constituye el
lenguaje formal de la lógica simbólica. Aunque existen lógicas polivalentes, en orden a la
claridad del concepto, aquí consideramos únicamente el valor de Verdad o Falsedad.
Otro tipo de entes que se utilizan en computación que también está asociado a “dos”
opciones, es lo que se conoce como expresiones booleanas. Estas expresiones, que
deben su nombre a George Boole, se pueden ver caracterizadas como verdaderas ó
falsas y de acuerdo a esta condición se desarrolla el estudio sobre dichos conceptos.
Este tema se conoce como cálculo de proposiciones.
Los argumentos son una de las formas más comunes en matemáticas, en lógica y en
computación de establecer razonamientos para llegar a la verdad. Si tenemos un
conectivo lógico OR de dos valores de entrada y después un inversor, cuál es la salida.
O si en un programa con una instrucción tipo if se tiene la condición X > 3 and X < 10
cómo se sabe si se ejecutó el comando.
1. Desarrollo.
Una proposición o enunciado es una oración que puede ser falso o verdadero pero no
ambas a la vez. La proposición es un elemento fundamental de la lógica matemática.
p: La tierra es plana.
q: −17 + 38 = 21
r: x > -9y
Los incisos p y q sabemos que pueden tomar un valor de falso o verdadero; por lo tanto
son proposiciones validas. El inciso r también es una proposición valida, aunque el valor
de falso o verdadero depende del valor asignado a las variables “x” y “y” en determinado
momento. La proposición del inciso s también está perfectamente expresada aunque
para decir si es falsa o verdadera se tendría que esperar a que terminara la temporada
de futbol. Sin embargo los enunciados t y w no son válidos, ya que no pueden tomar un
valor de falso o verdadero, uno de ellos es un saludo y el otro es una orden.
Se utiliza para conectar dos proposiciones que se deben cumplir para que se pueda
obtener un resultado verdadero. El símbolo es: {^, un punto (.), un paréntesis}. Se le
conoce como la multiplicación lógica:
Ejemplo.
Sea el siguiente enunciado “El coche enciende cuando tiene gasolina en el tanque y
tiene corriente la batería”
Sean:
p: El coche enciende.
De tal manera que la representación del enunciado anterior usando simbología lógica es
como sigue:
p = q^ r
Operador Or (o)
Sea el siguiente enunciado “Una persona puede entrar al cine si compra su boleto u
obtiene un pase”.
p: Entra al cine.
q: Compra su boleto.
r: Obtiene un pase.
p=qVr
Otro tipo de entes que se utilizan en computación también está asociado a “dos”
opciones, es lo que se conoce como expresiones booleanas.
2. TABLAS DE VERDAD
p ¬p
V F
F V
p q pq
V V V
V F F
F V F
F F F
La conjunción nos sirve para indicar que se cumplen dos condiciones simultáneamente,
así por ejemplo si tenemos:
pq, donde
p: la función es creciente
q: la función esta definida para los números positivos
Así también: p q, donde
Nota: Observamos que para la conjunción pq sea verdadera las dos expresiones que
intervienen deben ser verdaderas y sólo en ese caso como se indica por su tabla de
verdad.
p q pvq
V V V
V F V
F V V
F F F
Este caso corresponde por ejemplo a: Hoy compraré un libro o iré al cine; se
sobrentiende que una de las dos debe ser verdadera, pero no la dos. Se representa por
pq y su tabla de verdad es:
p q pq
V V F
V F V
F V V
F F F
Hay que tener cuidado cuando se traduce del lenguaje usual por las costumbres,
muchas veces depende del contexto o de la situación específica en la que se usan los
conectivos, por ejemplo si decimos: Se pueden estacionar alumnos y maestros, en
realidad se está queriendo decir un operador disyuntivo, en este caso la o matemática, o
sea el primer operador que corresponde a la primera tabla de esta sección.
V V V
V F F
F V V
F F V
Con respecto a este operador binario, lo primero que hay que destacar es que no es
conmutativo, a diferencia de los dos anteriores la conjunción y la disyunción. El único
caso que resulta falso es cuando el primero es verdadero y el segundo falso.
También cabe señalar que este viene a ser el operador más importante en el proceso
deductivo y que la mayoría de las leyes de inferencia y las propiedades en matemáticas
se pueden enunciar utilizando este operador.
p q p↔q
V V V
V F F
F V F
F F V
3. Jerarquía de Operadores.
Así por ejemplo, en electrónica, para representar circuitos lógicos se utiliza + en lugar de
v y · en lugar de ^.
Al interpretar una fórmula lo que finalmente vamos a obtener es un valor de verdad, bien
sea verdadero o falso. Pero para poder encontrarlo muchas veces el proceso en
laborioso porque puede estar formada por varias proposiciones atómicas. Primeramente
se le asignan valores de verdad a los átomos y se puede encontrar el valor de la
expresión.
Por supuesto que se puede construir una tabla para un número mayor de átomos, pero
notemos que por cada átomo que se aumente el número de renglones se duplica. Esto
es, para un átomos son dos renglones, para dos átomos son cuatro, para tres átomos
son ocho, para cuatro dieciséis, etc.
i) (p → ¬q) v (¬p v r)
ii) p → (q ^ r)
iii) (p → ¬ r) ↔ (q v p)
iv) ¬(p ¬ q) → ¬ r
Solución:
1 2 3 4 5 6 7 8
¬ ¬ p → ¬p v (p → ¬q) v (¬p v
p q r
q p ¬q r r)
VVVF F F V V
VVF F F F F F
VF VV F V V V
VF F V F V F V
F VVF V V V V
F VF F V V V V
F F VV V V V V
F F F V V V V V
ii) ) p → (q v r)
1 2 3 4 5
p q r q v r p → (q v r)
V V V V V
V V F V V
V F V V V
V F F F F
F V V V V
F V F V V
F F V F V
F F F F V
iii) (p → ¬ r) ↔ (q v r)
1 2 3 4 5 6 7
p q r ¬ r p → ¬ r q ∨ r (p → ¬ r) ↔ (q v r)
V V V F F V F
V V F V V V V
V F V F F V F
V F F V V F F
F V V F V V V
F V F V V V V
F F V F V V V
F F F V V F F
iv) ) ¬(p ^¬ q) → ¬ r
1 2 3 4 5 6 7 8
V V V F F V F F
V V F F F V V V
V F V V V F F V
V F F V V F V V
F V V F F V F F
F V F F F V V V
F F V V F V F F
F F F V F V V V