LÓGICA DE PREDICADOS

La lógica es la rama de la Matemática que analiza la forma en la que razonamos. Es la disciplina

que por medio de reglas y estrategias determina la validez de un argumento.

La lógica es la base de todo razonamiento automatizado que es primordial en informática.

Su importancia en los diseños curriculares de las carreras que tienen que ver con las ciencias de la
computación va tomando cuerpo propio debido a sus aplicaciones prácticas en contextos
específicos tales como lenguajes de programación, ingeniería de software, bases de datos,
inteligencia artificial, entreotros.

Proposición
Una proposición es toda oración afirmativa completa de la cual se puede decirque
es verdadera o falsa, pero no ambas.

Ejemplos

Las siguientes oraciones son proposiciones:

“La subrutina S ha terminado”

“Einstein fue un físico teórico”

“La letra o tiene dos significados”

“Marcela ganó en las olimpíadas matemáticas”

“10 es número primo”

“Amanda no estudia informática, pero si abogacía”

“La lógica se centra en las relaciones entre los

enunciados”

También son proposiciones todas las leyes científicas, las fórmulas matemáticas y esquemas
lógicos, donde se usan literales que tienen sentido en un universo dado.

Son proposiciones  = 2 y 2 − 2 = ( + )( − ) donde los símbolos intervinientes toman valores
de un dominio determinado

No son proposiciones las opiniones, proverbios, refranes, modismos, suposiciones o juicios

de valor, las oraciones interrogativas, las exhortativas o imperativas, las desiderativas; las
exclamativas o admirativas y los enunciados abiertos. En efecto, no son proposiciones porque de
ninguna de ellas se puede afirmar verdadero o falso sin incurrir en ambigüedades.

Ejemplos

Las siguientes expresiones lingüísticas no son proposiciones:

‘La raíz cúbica de una melodía es igual a una fantasía’

‘No hay mal que por bien no venga’

‘¿Qué es la Lógica?’

‘¡Imprime ya!’

‘Me gustaría que prenda la computadora’

‘Prolog es bueno’

‘El triángulo es inteligente’

‘Eduardo es un número racional’

Notación

Se utilizan para designar proposiciones, o bien letras mayúsculas o bien letras minúsculas, pero en
este curso se usarán , , , … Estas letras son variables de enunciado, por lo que mientras no se
les asigne una proposición en particular, pueden representar a cualquiera. Es por ello que a , , ,
… se les denomina variables proposicionales.

Valor de verdad

A la cualidad de una proposición de ser verdadera o falsa, se la denomina valor de verdad y se

indica:  = V si  es verdadera y  = F si  es falsa.

“V” y “F” representan los valores de verdad verdadero y falso, respectivamente y se los denomina
constantes proposicionales.

Siguiendo la notación utilizadas en las ciencias de la computación,

también se puede representar “verdadero” por el símbolo “1”, y “falso” por
0.

Sean las proposiciones

: “Ayer dejó de funcionar la PC de Gabriel”

: “2 + 3 = 5”
 : “3 es número primo”

: “El rector de la UTN fue presidente de Argentina”

El valor de verdad de  dependerá del día, lugar o momento en que es enunciada, pero
una vez fijados estos, el valor de verdad de  es único y el mismo para todos.

El valor de verdad de  y  es verdadero, y el de  es falso, por lo tanto, los valores de

verdad de ,  y  son constantes:

 =V,  =V y  =F

Proposiciones Simples

Una proposición es simple, primitiva o atómica cuando no hay manera de descomponerla en

partes que sean a su vez también proposiciones, y cuando no es negación de una afirmación.

Ejemplos

Las siguientes oraciones son proposiciones simples:

“Evangelina programa en C++”

“Los ordenadores de 64 bits tienen capacidad de hacer más en menos tiempo”

“Lógica es una rama de las Matemáticas”

“La PC de Zoe tiene poca memoria”

“Euclides y Boole son condiscípulos”

“Marcelo e Imanol son hermanos”

Son proposiciones simples ya que carecen del adverbio de la negación “no” osus
equivalentes y no se las puede separar en dos proposiciones simples porque
carecerían de significado en caso de hacerlo.

En el ejemplo v) y vi) la palabra “y” tiene carácter relacional. No se puede

descomponer en más de una proposición.

Conectivos lógicos

Los siguientes enunciados, vinculan a una o más proposiciones simples:

“3 no es par”

“Python o Prolog o C++ son lenguajes de programación”

 “La adición y la multiplicación de números naturales son operaciones
asociativas y conmutativas”

“Hace unos años se consideraba al computador como una gran

‘calculadora’, pero hoy se habla de sus logros intelectuales”

“8 es divisible por dos si y solo si es par”

Cuando se vinculan o combinan proposiciones simples a través de palabras que

funcionan como nexos: no, o, y, pero, si...entonces, …si y solo si …., se obtienen
otras proposiciones, llamadas proposiciones compuestas.
El vínculo se establece a través de los llamados conectivos lógicos.

Conectivos Lógicos

Los conectivos lógicos son símbolos o partículas lógicas mediante los cuales se
conectan dos o más proposiciones simples, o se modifica una proposición dada.

Se trabajará con los siguientes conectivos lógicos, cuyo nombre, símbolo y lectura
se detallan en la siguiente tabla.

Nombre Símbolo Se leen

negación , no, no es cierto, no ocurre

conjunción  y, pero, también, sin embargo, aunque,

Disyunción inclusiva  “o” con sentido incluyente

Disyunción exclusiva  “o” con sentido excluyente

Condicional → si...entonces,

Bicondicional  … si y sólo sí…

Proposición Compuesta

Una proposición es compuesta cuando se obtiene a partir de proposicionessimples

ligadas por los conectivos lógicos.
 “Los números naturales, los enteros y los fraccionarios son racionales”
“Los números naturales son pares o impares”
“Si los números racionales considerados son fracciones de denominar uno,
entonces dichos números son enteros”

Tablas de Verdad

Una tabla de verdad es un arreglo (o cuadro) que refleja los posibles valores de verdad
de una proposición compuesta a partir de todas las combinaciones posibles de los
valores de verdad de las proposiciones simples que la componen.

Observaciones

▪ Las tablas de verdad de proposiciones compuestas con ‘n’ variables

proposicionales tienen 2n renglones ya que los valores de verdad de
cada una deben combinarse con los posibles valores de verdad de las
otras.

Negación

Si  es una proposición cualquiera su negación se simboliza con ¬, la cual selee “No ”.

La proposición compuesta ¬ toma el valor de verdad contrario al valor deverdad de la

proposición .

Tabla de verdad de la negación:

 ¬
V F
F V

Se trata de una operación unaria pues tiene un único alcance.

▪ Otras maneras de leer ¬ : “No es cierto que ” , “Es falso que ”, etc.
▪ Se debe ser cuidadoso al negar. Muchos errores se cometen con este
concepto. Ejemplos: La negación de “La pizarra es blanca”, no es
“La pizarra es negra”, dado que lo contrario de blanco no es negro. Lo
correcto sería: “La pizarra no es blanca”. La negación de “El cable de
la impresora mide más de 170 cm” no es “El cable de la impresora
mide menos de 170 cm” sino “El cable de la impresora mide a lo sumo
 de 170 cm”, pues negar “es mayor que” correspondería a “es menor

o igual que”.

Sea la proposición : “100 es par”, su negación ¬ puede expresarse como:

✓ “100 no es par”
✓ “No es cierto que 100 sea par”
✓ “Es falso que 100 es par”
✓ “100 es impar”

Conjunción o producto lógico

Dadas dos proposiciones cualesquiera  y , la conjunción de  y  es la proposición
compuesta que se denota simbólicamente “   ” y se lee “ y ”, que sólo es verdadera si
las dos proposiciones  y  son verdaderas. En todo otro caso es falsa.

Tabla de verdad de la conjunción:

  
V V V

V F F
F V F
F F F

▪ Las proposiciones conjuntivas llevan “y”, o sus formas equivalentes como “pero”,
“aunque”, “e”, “aun”, “tanto…como…”, “sin embargo”, “además”, etc.
▪ Se trata de una operación binaria con dos alcances (derecho e izquierdo)

Ejemplos

- “3 es un número impar y 7 es un número primo”

: “3 es un número impar”
: “7 es un número primo” .
Por ser  = V y  = V, se tiene que (   ) = V

- “Ignacio juega futbol, rugby y vóley”

: “Ignacio juega futbol”; : “Ignacio juega rugby” y : “Ignacio juega vóley”

La proposición dada, en forma simbólica es:     . Será falsa

si algunaproposición o todas son falsas.
 Disyunción Inclusiva o Suma Lógica

Dadas dos proposiciones cualesquiera  y , la expresión simbólica    denota la

disyunción entre  y , y se lee “ o " que sólo es falsa si las dos proposiciones
componentes son falsas. En todo otro caso es verdadera.

El sentido de la disyunción “o” es incluyente, lo cual significa que para ser

verdadera se necesita que al menos una de ellas sea verdadera,
pudiendo ocurrir que ambas lo sean. Será falsa solo en el caso en que
ambas sean falsas

Tabla de verdad de la disyunción inclusiva:

  
V V V
V F V
F V V
F F F

Observaciones

▪ Otra forma de leer   : “ y/o ", “ o  o ambas”

▪ Es un operador binario.
▪ Se puede tener disyunción entre dos o más proposiciones:    
que como la conjunción, para evaluar esta proposición compuesta sin
paréntesis se opera de izquierda a derecha.

Ejemplos

- “Hoy llueve o es un día de sol”

- “5 es mayor o igual a 2”

: “5 es mayor a 2” y : “5 es igual a 2”,

:
-   , resulta una proposición verdadera porque  = V y  = F.
 Disyunción Excluyente

Dadas dos proposiciones cualesquiera ,  la expresión simbólica    denota la disyunción

excluyente entre  y , y se lee “ o , pero no ambas”, que es verdadera si una y sólo una
de las proposiciones componentes es verdadera.

▪ Esta “o” tiene sentidon excluyente. No da la posibilidad que se den

simultáneamente las dos proposiciones.   : se lee también como “ o bien  o bien ” , “o 
o ” o “  o  pero noambas”

La tabla de verdad correspondiente es:

   
V V F
V F V
F V V
F F F
Ejemplos

“El rector se elige por consulta popular o por una comisión del consejo”
Es una disyunción de las proposiciones:

: “El rector se elige por consulta popular”;

: “El rector se elige por una comisión del consejo”

Se observa que el sentido de la disyunción “o” es excluyente, ya que  y  no pueden

ser simultáneamente verdaderas. Luego, la proposición compuesta expresada
simbólicamente es:   .

Implicación o Condicional

Dadas dos proposiciones cualesquiera ,  la implicación o condicional de  y 

es la proposición  → , que se lee “Si  entonces ”.

Se dice que  es el antecedente y  el consecuente del condicional. Esta proposición compuesta

sólo es falsa cuando el antecedente es verdadero y el consecuente es falso. En cualquier otro
caso es verdadera.
La tabla de verdad de la implicación es:

  ⟶
V V V
V F F
F V V
F F V

Observación

El condicional  →  puede ser leído también de las siguientes maneras:

▪ q si p
▪ Si p, q
▪ Sólo si q , p
▪ p sólo si q
▪ q es necesario para p
▪ p es suficiente para q

▪ p implica q ▪  entonces 

▪ Cuando p, q ▪ Para que p, q

Ejemplo

“Si 28 es par entonces es divisible por 2”, es una proposición compuesta del tipo
 →  donde

:” 28 es par” y : “28 es Divisible por 2”.

• “Si 28 es par, es divisible por 2”

• “28 es par, implica que 28 es divisible por 2”
• “28 es par solo si es divisible por 2”
• “Solo si 28 es divisible por 2, es par”
• “Es suficiente que 28 sea par para que sea divisible por 2”
• “Es necesario que 28 sea divisible por 2 para que sea par”

Bicondicional o Doble Implicación

Dadas dos proposiciones cualesquiera ,  la doble implicación o bicondicional de  y  es la

proposición  ↔ , que se lee “  si y solo si ”, y sólo es verdadera sólo si ambas
proposiciones tienen el mismo valor de verdad. En todo otro caso es falsa.

Tabla de verdad del bicondicional:

   ⟷
V V V
V F F
F V F
F F V
OBSERVACIONES
 ▪  ⟷  puede leerse también como: “ es necesario y suficiente
para ”;“ siempre y cuando ”.
▪ “ si y solo si ” se abrevia del siguiente modo: “ si ”.

Ejemplos

- “T es equilátero si y sólo si T es equiángulo”, es la doble implicación de

las proposiciones, : ‘T es equilátero’ y : ‘T es equiángulo’, es decir
simbólicamente la oración es:  ⟷  .

EXPRESIÓN LÓGICA O PROPOSICIÓN LOGICA

Una Expresión Lógica es toda proposición lógica ya sea simple o compuesta, yse las
denotará con letras mayúsculas: A, B, C,…, etc.

A la hora de confeccionar la tabla de verdad de una expresión lógica con dos o más
conectivos lógicos se debe tener en cuenta la presencia de paréntesis para determinar
el orden de los cálculos; y en el caso de una expresión sin ellos hay que respetar las
prioridades de los conectivos y determinar cuál es el principal.

¿Pero cuál es la prioridad o jerarquía de los conectivos?

Es el orden en el que se resuelve una expresión lógica, y está dado por la siguiente regla
de prioridad:

1°. Si los conectivos son los mismos, se resuelve de izquierda a derecha,

2°. La prioridad de mayor a menor está dada por el siguiente orden, (de izquierda
a derecha): , , , →, 

Conectivo Principal

Se define conectivo principal de una expresión lógica al conectivo que nos da el valor de
verdad resultante.

Ejemplos

i) En una expresión lógica completamente entre paréntesis como

( ( ¬ ( p  q ) ⟶ r )  q ),
 es claro quién es el conectivo principal ()
ii) En las siguientes expresiones lógicas, se señala el conectivo principal (cp):