Documentos de Académico
Documentos de Profesional
Documentos de Cultura
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.
Desarrollo.
Una proposición o enunciado es una oración que puede ser falsa o verdadera
pero no ambas a la vez. La proposición es un elemento fundamental de la lógica
matemática.
A continuación se tienen algunos ejemplos de proposiciones válidas y no válidas,
y se explica el porqué algunos enunciados no son proposiciones. Las
proposiciones se indican por medio de una letra minúscula, dos puntos y la
proposición propiamente dicha. Ejemplo.
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 esta
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.
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 esta asociado a “dos”
opciones, es lo que se conoce como expresiones booleanas.
Tablas de Verdad
La Negación
p q p^q
V V V
V F F
F V F
F F F
p ^ q, donde
p: la función es creciente
q: la función esta definida para los números positivos
Así también: p ^ q, donde
La o excluyente, que algunos también le llaman o exclusiva, y que indica que una
de las dos proposiciones se cumple, pero no las dos. 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 p XOR q y su tabla de
verdad es:
p q pvq
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.
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.
Por ejemplo, si p es llueve y q es hay nubes entonces:
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.
Jerarquia de Operadores.
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.
3. Numerar las ramas del árbol en forma secuencial empezando por las hojas
hacia la raíz, con la única condición de que una rama se puede numerar hasta
que estén numerados los hijos. Para empezar con la numeración de las hojas es
buena idea hacerlo en orden alfabético, así todos obtienen los renglones de la
tabla en el mismo orden para poder comparar resultados.
5. Asignarle a los átomos, las hojas del árbol, todos los posibles valores de
verdad de acuerdo al orden establecido. Por supuesto que el orden es arbitrario,
pero como el número de permutaciones es n!, conviene establecer un orden para
poder comparar resultados fácilmente.
Solución:
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
p q r ¬q p^¬q ¬(p ^ ¬q) ¬r ¬(p ^ ¬q) → ¬ r
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
1 2 3 4 5 6 7 8 9
p q r ¬r ¬p q v ¬r ¬p ^ q ¬(q v ¬r) (¬p ^ q) → ¬(q v ¬r)
V V V F F V F F V
V V F V F V F F V
V F V F F F F V V
V F F V F V F F V
F V V F V V V F F
F V F V V V V F F
F F V F V F F V V
F F F V V V F F V