UNIVERSIDAD CATOLICA DEL NORTE PROF: NANCY ARAYA T.

COQUIMBO
FACULTAD DE CIENCIAS DEL MAR SEM. 2 / 2005
ALGEBRA

LÓGICA

Los objetivos principales de la lógica son esencialmente:

1.- Eliminar las ambiguedades propias del lenguaje ordinario.

2.- Dar rigor a aquello que se está estudiando (investiga la relación de consecuencia que se
da entre las premisas y la conclusión). En este proceso, la verdad sólo se obtiene si se
cumplen las siguientes condiciones :

a) Las proposiciones iniciales (llamadas premisas o hipótesis) han de ser

verdaderas.

b) En el proceso de raciocinio, estas premisas han de relacionarse de acuerdo a las

leyes y reglas de la lógica.

Una proposición es una expresión declarativa con un significado definido.

Toda proposición debe ser verdadera o falsa, pero no puede ser ambas cosas, ni puede
ser ninguna de las dos cosas.

Observación: Verdadero y Falso los consideramos conceptos primitivos, es decir, los

aceptamos como suficientemente claros. Sin embargo, toda verdad es relativa al momento y
a las circunstancias, sin ir muy lejos, “LA TIERRA ES PLANA” fue una proposición
verdadera por mucho tiempo. Hoy es evidentemente falsa.

Ejemplos:

a) 2 + 3 = 5 es una proposición verdadera ( V )

b) 2 + 3 = 8 es una proposición falsa ( F )

c) El oro es un metal precioso. ( V )

d) Si hoy es lunes, entonces mañana es martes. (V)

Ejercicio: Escribe una oración que no sea una proposición.

Las proposiciones generalmente se denotan con las letras minúsculas p, q, r, s, t.

Se distinguen dos tipos de proposiciones:

Básicas: Aquellas de forma más simple, o en estricto rigor., una proposición sin término de
enlace (conectivo ).

Compuestas: Aquellas que resultan de unir una o varias proposiciones básicas con uno o
más términos de enlace (conectivos).

Términos de enlace (conectivos lógicos)

1. Negación: 
Dada una proposición p, se llama negación de p, y se escribe p, a la expresión que dice
“no p” . p es verdadera cuando p es falsa.

2. Conjunción: 
Dadas dos proposiciones p y q , se llama conjunción de p y q, y se escribe p  q, a
la proposición que dice “p y q”.

3. Disyunción: 
Dadas dos proposiciones p y q , se llama conjunción de p y q, y se escribe p  q, a
la proposición que dice “p ó q”.

4. Condicional: 
Dadas dos proposiciones p y q , se llama condicional de p y q, y se escribe p  q, a
la proposición que dice “Si p entonces q”.

5. Bicondicional: 
Dadas dos proposiciones p y q , se llama bicondicional de p y q, y se escribe p  q,
a la proposición que dice “ p si y sólo si q”.

Ejercicios: Simbolizar las siguientes proposiciones:

1.) No se aceptan cambios ni devoluciones.

2.) Si yo y Juan sabemos lógica, entonces o tenemos un siete en el control o el

control está super dificil.

3.) Si dos números no son iguales, entonces uno es mayor que el otro.

4.) El churrasco vale $1200 con palta o tomate.

5.) Si Pedro está con María, entonces, va al cine y Sandra tendrá un ataque.

6.) Si Pedro está con María entonces va al cine y Sandra tendrá un ataque.
Ejercicios: En los ejercicios 1) al 4) colocar correctamente los paréntesis de manera que
resulte una :

1.) conjunción

2.) condicional

3.) disyunción

4.) condicional

5.) Simbolizar la proposición siguiente :

“O Juan es el mejor alumno de Álgebra y Carlos el de Cálculo o Carlos es

el mejor de Algebra y Juan el de Cálculo”.

Tablas de verdad

Las tablas de los conectivos tienen el siguiente comportamiento:

p q p p q p q
V V F V V V V
V F F F V F F
F V V F V V F
F F V F F V V

Observaciones:

1. Dos proposiciones son equivalentes cuando tienen la misma tabla de verdad.

2. Según la tabla de verdad que tiene una proposición, esta se clasifica en Tautología,
Contradicción e Indeterminación (Contingencia).

Definición : Se dice que una proposición es una Tautología si, cualquiera sea el valor de
verdad de las proposiciones básicas que la componen, ella es siempre
verdadera.

Definición : Se dice que una proposición es una Contradicción si, cualquiera sea el valor
De verdad de las proposiciones básicas que la componen, ella es siempre
falsa.

Definición : Se dice que una proposición es una Contingencia si, cualquiera sea el valor
de verdad de las proposiciones básicas que la componen, ella contiene
valores de verdad verdaderos y valores de verdad falsos.
Ejemplos de construcción de tablas de verdad.

1. Determinar el valor de verdad de la proposición (

p   (
V V V F V V
V F F V V V
F V V F F F
F F V V V V

Otra manera de realizar la tabla es la siguiente:

p  p
V V V V F V V
V F F V V V V
F V V F F F F
F V F V V V F

Por lo tanto esta proposición es una contingencia.

Ejercicios: Construya las tablas de verdad de las siguientes proposiciones

1.

2. (p  q) p

3. (p  q) q

4. (p  q) p

Recordar que:
Dos proposiciones son equivalentes cuando tienen la misma tabla de verdad.
El símbolo indica la equivalencia lógica.

TEOREMAS LÓGICOS
1.- (p ) p Doble negación

2.- p p p Idempotencia

p p p

3.- p q q p
Conmutatividad
p q q p

5.-
Asociatividad

7.-
Distributividad

8.-  p q
Leyes de Morgan
 p q

9.- Transitividad
11.- q p Contra recíproca

12.- p q

13.- Bicondicional

15.-

16.-

17.- p p
p p
La demostración de estos teoremas lógicos o propiedades lógicas es muy sencilla, basta
construir la tabla de verdad y verificar que son tautologías.

Ejercicios:

1) Simplificar al máximo las siguientes expresiones usando los teoremas anteriores :

a)

b)  ( p q) p q.

2) Demostrar que la siguiente proposición es una tautología, usando propiedades.

CUANTIFICADORES

Se consideran ahora cierto tipo de expresiones que tienen un comportamiento similar a una
proposición y para las que usamos el nombre de fórmula proposicional.

Definición: Una fórmula proposicional es una expresión que contiene una o más
variables y que se convierte en proposición cuando se reemplaza la variable por elementos
de un cierto conjunto dado.

Notación : p ( x ) , q ( x ) , p(x , y), .. etc.

Ejemplos :

1. es una fórmula proposicional.

Dado x IR, p ( x ) es ahora una proposición, porque podemos decir si es verdadera o
falsa.

2. q (x) : “ x es un número par ” es también es una fórmula proposicional

Observación: Si , y verdadera, entonces se dice que “ verifica la
propiedad ”. En caso contrario se dice que no verifica la propiedad .

Definición: Sea una función proposicional sobre A, entonces el conjunto de

todos los elementos que tienen la propiedad de que sea verdadera se
denomina conjunto de validez de y se denotará por .

Simbólicamente:

Resulta claro de la definición del conjunto de validez, que

en donde  p(x ) negación de la función proposicional p (x)

Ejemplos:

1. Sea p ( x ) : “ x + 3 < 9 ” una función proposicional sobre IN, entonces el

conjunto de válidez Vp es igual a :

Ejercicios:

Encontrar el conjunto de válidez de las siguientes funciones proposicionales sobre el

conjunto IN:

a) p ( x ) : “ x + 5 < 4 ”

b) p ( x ) : “ x + 2 > 1 ”

Otra forma de obtener proposiciones usando funciones proposicionales , es mediante el uso

de cuantificadores .

Cuantificador Universal

Sea p ( x ) una función proposicional sobre un conjunto A, entonces la expresión:

, se lee “ Para todo elemento x de A, se tiene la proposición p ( x )”.
El símbolo se lee “para todo ” y se llama cuantificador universal.

es verdadera
(es decir si se cumple p ( x ) para todo elemento de A).

Ejemplos:
1. La proposición es verdadera pues
2. La proposición es falsa pues

Cuantificador Existencial

Sea p ( x ) una función proposicional sobre un conjunto A, entonces la expresión :

, se lee “ Existe un elemento x de A, para el cual se tiene la
proposición p ( x )”.
El símbolo se lee “Existe” y se llama cuantificador existencial.

es verdadera
( es decir si se cumple p ( x ) para algun(os) elemento(s) de A).

Ejemplos:

1. La proposición es verdadera pues .

2. La proposición es falsa pues .

Ejercicios: Determinar el valor de verdad de las proposiciones:

1.
2.
3.

Negación de cuantificadores

1.-  ( ) .

2. ( ) .

Ejemplos:

1. La negación de la proposición “ para todo número natural n, n+2 >5 “ es equivalente a la

proposición “existe un número natural n tal que n+2 ”

( ) .

Un caso especial del cuantificador existencial se encuentra en la proposición :

, la que se lee “existe un único” elemento x de A, para el cual se tiene
la proposición p(x). Es claro que éste enunciado es verdadero si y solamente si V p es un
singleton (un conjunto con solo un elemento)