Unidad 1:

1- Operadores lógicos Lógica

 PROPOSICIÓN
Llamaremos proposición a un enunciado o
expresión declarativa de la cual se puede
afirmar que es verdadera o falsa, pero no
ambas a la vez.

Designamos a las proposiciones con letras minúsculas.

Por ejemplo,
p: 5 es un número primo
EJEMPLO: ¿Cuáles de las siguientes expresiones
son proposiciones?
• 3 es un número primo 
• 7 es un número negativo 
• ¿Qué hora es? 
• 3+4-1 
• La letra “m” es una vocal 
• x es un número par 
• Complete la solicitud con sus datos 
• n>5 
 Conectivos y operaciones lógicas
Los conectivos lógicos son los símbolos usados para
combinar proposiciones y generar nuevas proposiciones.
Cada uno de ellos representa a una operación lógica.
Conectivo Operación
Se lee
lógico lógica
 no Negación

 y Conjunción

 o Disyunción

 implica, entonces Implicación

es equivalente a, Equivalencia o
 sí y sólo si doble implicación
Proposiciones simples y compuestas
• Proposición simple: es la que no tiene ningún
conectivo lógico.
Ejemplo: 6 es divisor de 12
Simbólicamente: 6 12
• Proposición compuesta: es la que tiene uno o
más conectivos lógicos.
Ejemplo: 6 es divisor de 12 y 3 es divisor de 9
Simbólicamente: 6 12  3 9
 NEGACIÓN
Definición:
Dada una proposición p, se llama negación de
la misma a una nueva proposición, que se indica
con –p, definida a través de su tabla de verdad:

p –p
V F
F V
 CONJUNCIÓN
Definición:
Se llama conjunción de las proposiciones p y q a
la proposición pq, cuya tabla de verdad es:

p q pq
V V V
V F F
F V F
F F F
 DISYUNCIÓN
Definición:
Se llama disyunción de las proposiciones p y q a
la proposición pq, cuya tabla de verdad es:

p q pq
V V V
V F V
F V V
F F F
Ejemplo: Representar simbólicamente las
siguientes proposiciones compuestas y determinar
su valor de verdad.
 0,5 es un número entero y 5 es un número natural
0,5    5   - Es falsa
 0,5 es un número entero o 5 es un número natural
0,5    5   - Es verdadera
 3 es un número natural o entero
3    3  - Es verdadera 3 
 4 y 9 son divisores de 36
4 36  9 36 - Es verdadera 4  9 36

 7 es divisor de 14 y 21
7 14  7 21 - Es verdadera 7  14  21 
9
 IMPLICACIÓN
Definición:
Se llama implicación de las proposiciones p y q a
la proposición pq, cuya tabla de verdad es:

p q pq
p: antecedente o hipótesis V V V
q: consecuente o tesis
V F F
F V V
F F V

p q se puede leer: “p implica q”

“si p, entonces q”
“q si p”
“p sólo si q”
 Condición necesaria y
condición suficiente
Si p  q es verdadera, se dice que:

 p es condición suficiente para q

 q es condición necesaria para p

p  q
condición suficiente condición necesaria
 EQUIVALENCIA
(DOBLE IMPLICACIÓN O BICONDICIONAL)
Definición:
Se llama equivalencia de las proposiciones p y q
a la proposición p  q, cuya tabla de verdad es:
p q pq
V V V
V F F
F V F
F F V

p  q se puede leer: “p es equivalente a q”,

“p si y sólo si q”,
“p es condición necesaria y suficiente para q”
JERARQUÍA DE LOS CONECTORES LÓGICOS
Análogamente a lo que ocurre con las operaciones
aritméticas, para evitar el uso excesivo de paréntesis,
se realizan convenciones sobre la jerarquía de los
operadores lógicos:
• el más fuerte es 
• le sigue 
• luego, y en el mismo nivel, ,
• y finalmente el más débil 
Por ejemplo, la expresión p  q  r
es equivalente a la expresión: p  (q  r)
pero NO a la expresión: (p  q)  r
Ejemplo: Construir la tabla de verdad de cada proposición

a) p  q  p

p  q  p
V V V F F
V F F V F
F F V V V
F F F V V
Ejemplo: Construir la tabla de verdad de cada proposición

b) p  q  p  q

p  q  p  q
V V V F F F F
V V F F F F V
F V V F V F F
F F F F V V V
Ejemplo: Construir la tabla de verdad de cada proposición

c) (p  q)  (q  r)   p  r

(p  q)  (q  r)  p  r
V V V V V V V V F V V
V V V F V F F V F F F
V F F F F V V V F V V
V F F F F V F V F F F
F V V V V V V V V V V
F V V F V F F V V V F
F V F V F V V V V V V
F V F V F V F V V V F
CONTINGENCIA

CONTRADICCIÓN

TAUTOLOGÍA
Se llama TAUTOLOGÍA (o verdad lógica) a una
proposición compuesta cuyos valores de verdad son
todos Verdaderos, para todos los posibles valores de
verdad de las proposiciones simples que la componen.

Se llama CONTRADICCIÓN (o falsedad lógica) a

una proposición compuesta cuyos valores de verdad
son todos Falsos, para todos los posibles valores de
verdad de las proposiciones simples que la componen.

Una proposición compuesta que no es tautología ni

contradicción se llama CONTINGENCIA.