LOGICA Y TEORIA DE

CONJUNTOS

MANUAL DEL ESTUDIANTE

INGENIERIA DE SISTEMAS
I SEMESTRE
 Lógica y teoría de conjuntos 2

LÓGICA PROPOSICIONAL O LÓGICA DE ENUNCIADOS

1. Los signos

Signo es todo aquello que, para alguien, representa o evoca otra cosa distinta de
sí misma.
Ejemplos: señales de tráfico, palabras, la danza de las abejas, el humo…
Para que algo pueda ser considerado signo, es necesario, en primer lugar, que
tenga significado para alguien.
Una primera clasificación de los signos distingue entre aquellos que poseen un
solo significado (son llamados señales), y aquellos que poseen significaciones
múltiples (símbolos).

La ciencia que estudia los signos se llama SEMIÓTICA. Ésta, a su vez, se divide
en tres partes, que constituyen tres maneras de estudiar los signos:
1. Sintaxis: estudia los signos teniendo únicamente en cuenta las diversas
relaciones que se establecen entre ellos con independencia de su significado. Este
es el tipo de estudio que realizan todas las Gramáticas.
2. Semántica: estudia los signos teniendo en cuenta la relación que mantienen
con su significado o referencia, es decir, con las cosas de la realidad representada
por ellos. Este es el tipo de estudio que hacen los Diccionarios o las Etimologías.
3. Pragmática: estudia los signos teniendo en cuenta la relación que existe entre
ellos y las personas que los utilizan para comunicarse o representar algo. Este es
el tipo de estudio que realizan los investigadores de las jergas o argots
profesionales, étnicos, regionales, de pandillas…

Ingeniería de Sistemas – Docente: Ing. Leaneth Pitre Ruiz

 Lógica y teoría de conjuntos 3

2. Comunicación y lenguaje

La comunicación es un fenómeno natural basado en la capacidad que poseen

todas las especies animales de transmitirse mediante signos de muy diverso tipo:
sonoros, visuales, olfativos, etc.
Esta capacidad la encontramos especialmente desarrollada en el lenguaje
humano. Pues aunque los animales pueden transmitir información mediante
signos unívocos (señales: así, por ejemplo, que un perro gruña y te enseñe los
dientes es señal indudable de que te puede morder), el lenguaje humano está
compuesto principalmente de signos multívocos (símbolos).

3. Lenguaje Natural.
Se entiende por Lenguaje Natural al lenguaje (=conjunto de símbolos) utilizado
por una sociedad para comunicarse.
Al lenguaje que aprendemos en sociedad y que usamos para comunicarnos y
referirnos a las cosas que nos rodean, lo llamamos Lenguaje Cotidiano o
Lenguaje Ordinario o Lenguaje Natural

3.1. Elementos del lenguaje natural símbolos y reglas

El Lenguaje Natural humano consta de un conjunto finito de símbolos (palabras

y signos lingüísticos, que forman el Vocabulario) y un número finito también de
reglas (constituyen la Sintaxis), las cuales determinan cómo combinar
correctamente los símbolos del vocabulario, es decir, establecen cómo formar
correctamente oraciones en ese lenguaje.

3.2. ¿Qué es una oración?

Es una expresión lingüística sintácticamente correcta (=está bien construida de
acuerdo con las reglas) y que posee sentido completo. Llamamos «expresión
lingüística» a cualquier combinación de símbolos de un lenguaje. Ejemplos: “El
cuarzo es un mineral”, “¿Qué hora es?”, “Cierra la puerta”,…

Ingeniería de Sistemas – Docente: Ing. Leaneth Pitre Ruiz

 Lógica y teoría de conjuntos 4

Por el contrario, expresiones como “Vivir con cuándo”, “Lloviendo noche estaba
aquella”, etc. no son oraciones porque o bien no tienen sentido completo o son
sintácticamente defectuosas.

3.3. ¿Qué es una oración enunciativa o enunciado?

Es una expresión lingüística que tiene sentido completo y que puede ser
verdadera o falsa. De los anteriores ejemplos de oraciones, sólo el primero (“El
cuarzo es un mineral”) es un enunciado, pues dice algo que puede ser verdadero
o falso, mientras que los otros dos ejemplos (“¿Qué hora es?”, “¡Cierra la
puerta!”) no lo son porque no cabe preguntarse si es verdadero o falso lo que
‘dicen o expresan’.

4. Lenguaje Artificial.
Tratando de superar las limitaciones del Lenguaje Natural, para proporcionarle
a las ciencias un lenguaje exacto y riguroso, se han ido construyendo los
Lenguajes Artificiales, esto es, lenguajes bien definidos que poseen una estructura
operativa más eficaz.

En líneas generales puede decirse que todas las ciencias, en especial las ciencias
de la naturaleza, emplean Lenguajes Artificiales y que ésta ha sido una de las
condiciones para su progreso. Por ejemplo, los símbolos de la Química, la Física,
la Biología, pero también los de la Economía, la Lingüística, etc., constituyen
tipos de lenguaje artificial.

4.1. Elementos que integran el Lenguaje Artificial.

Básicamente consta de los mismos elementos que cualquier lenguaje natural (un
conjunto se signos y una serie de reglas sintácticas), pero se le exige además:

a) Que los signos estén bien definidos, para que no quepan ambigüedades;

Ingeniería de Sistemas – Docente: Ing. Leaneth Pitre Ruiz

 Lógica y teoría de conjuntos 5

b) Que el conjunto de las reglas para la formación de expresiones, impida la

construcción de expresiones carentes de sentido y permita saber, en cualquier
momento, si una determinada combinación de signos es una expresión bien
formada del Lenguaje;

c) Y que posea, además, un conjunto de reglas operativas o de transformación de

expresiones, que permita deducir a partir de unas expresiones correctas del
Lenguaje otras que también lo sean, para de ese modo construir rigurosas y
complejas cadenas deductivas.

SIGNOS
LENGUAJE
ARTIFICIAL REGLAS
La Lógica y las Matemáticas son ejemplos de Lenguajes Artificiales.

5. Lenguaje Formal.
Se denomina Lenguaje Formal a un Lenguaje Artificial cuyos signos son formales
(es decir, carecen de significado) y cuyas reglas sintácticas permiten operar con
dichos signos como en un cálculo.

La Lógica y las Matemáticas son Lenguajes Artificiales y, además, Formales.

6. La lógica como Lenguaje Formal.

La Lógica puede definirse como aquella ciencia o que estudia las condiciones o
leyes que debe cumplir todo razonamiento para ser formalmente válido.

Ingeniería de Sistemas – Docente: Ing. Leaneth Pitre Ruiz

 Lógica y teoría de conjuntos 6

LA LÓGICA PROPOSICIONAL O LÓGICA DE

ENUNCIADOS.
La lógica proposicional es una rama de la lógica, que permite representar hechos
y/o expresiones del mundo real (lenguaje natural) en un lenguaje representativo
del conocimiento (lenguaje formal), mediante propiedades elementales para
estudiar a través de proposiciones o sentencias lógicas sus posibles evaluaciones
de verdad.

La lógica proposicional toma un rol muy importante en el desarrollo de la

inteligencia artificial y en otros aspectos de la informática

Las proposiciones O ENUNCIADOS

Las proposiciones son oraciones enunciativas (aquellas que afirman o niegan

algo), por lo tanto pueden ser verdaderas o falsas (V ó F). a la veracidad o
falcedad de un enunciado o proposición se le denomina VALOR DE VERDAD

Las proposiciones o enunciados se dividen en 2

Proposiciones Simples o atómicas: Son aquellas oraciones enunciativas que no

pueden descomponerse, no contienen conectivos lógicos.

Ejemplo:

 La puerta principal de la universidad de La Guajira es de madera. ( F )

 6 es un número natural. ( V )
 Todo cuadro tiene 5 lados ( F )

Proposiciones Compuestas o Moleculares: Son aquellas compuestas por

proposiciones simples, unidas entre sí con los diferentes conectivos lógicos.

 18 y 24 son múltiplos de 5 ( F ).

Ingeniería de Sistemas – Docente: Ing. Leaneth Pitre Ruiz

 Lógica y teoría de conjuntos 7

 El lápiz es de color azul y el carro de color rojo ( )

 Un triángulo es equilátero si y solo si tiene sus tres lados iguales. ( V )

7. Conectivos lógicos
Son elementos que sirven de enlace entre las proposiciones, para formar otra,
denominada proposición molecular o compuesta.

Lima es la capital del Perú y Barcelona es la capital de España

p q

Conectivo Lógico
Los conectivos lógicos principales son:
NEGACION: (Se simboliza “ ¬”, se lee no, no es cierto que). Se denota por: ¬p
CONJUNCIÓN: (Se simboliza: " ", se lee: " y "). Se denota por: p q.

DISYUNCIÓN INCLUSIVA O DEBIL: (Se simboliza: “v ”, se lee: “ O ” ) Se denota: p v q.

DISYUNCIÓN EXCLUSIVA O FUERTE: (Se simboliza: “ ∆ ”, se lee: “ O...O... ” ). Se

denota: p ∆ q.

CONDICIONAL: (Se simboliza “→”, se lee. “Si… entonces”). Se denota: p → q

BICONDICIONAL: (Se simboliza “ ↔”, se lee . “si… y solo si…”). Se denota p ↔ q

Ingeniería de Sistemas – Docente: Ing. Leaneth Pitre Ruiz

 Lógica y teoría de conjuntos 8

Tabla 1. (Equivalencia de los conectivos lógicos en el lenguaje natural)

7.1. ¿Cómo formalizar en la lógica proposicional cualquier expresión del

lenguaje natural?

FORMALIZACION Y SIMBOLIZACION
La formalización de un lenguaje es una operación consistente en traducir al
lenguaje artificial las expresiones del lenguaje natural.
PASOS:
1. Para simbolizar las proposiciones simples se utilizan unas variables cuales
son las letras minúsculas del alfabeto a partir de la “p”
p, q, r, s, t, u, v, w, x, y, z …
Ejemplo:
El curso de física es teórico y practico
p: el curso de física es teórico
q: el curso de física es práctico

Ingeniería de Sistemas – Docente: Ing. Leaneth Pitre Ruiz

 Lógica y teoría de conjuntos 9

Ana y pedro estudian en la Unigujira, entonces son parte de la comunidad

universitaria
p: Ana estudia en uniguajira
q: pedro estudia en uniguajira
r: son parte de la comunidad universitaria

2. Identificar los conectivos lógicos a usar ten en cuenta la (Tabla 1.)

3. En la formalización se utilizan paréntesis, corchetes y llaves para agrupar

ordenadamente las proposiciones. ( ) , [ ] , { }.

a. Los paréntesis en un enunciado formalizado son los signos de

puntuación en el lenguaje natural; el uso de estos, muestra como esta
agrupada una proposición, y señala cual es el conectivo lógico
dominante.

b. En el lenguaje natural, el agrupamiento adecuado de las proposiciones

se obtiene mediante los signos de puntuación. Cuando se simbolizan
estas proposiciones en lógica, los mencionados signos son sustituidos
por el adecuado uso de los paréntesis.

c. Las proposiciones compuestas de un solo símbolo pueden ir sin

paréntesis.
Ejemplo: No llueve: ¬p
Hace calor o hace frio: p V q

d. El uso del paréntesis se hace imprescindible cuando una proposición

compuesta consta de dos o más conectivos lógicos. Su ubicación debe
representar la puntuación del enunciado en castellano; por lo tanto, debe
resaltar el conectivo predominante. Ejemplo.
e. Si Pedro sabe hablar inglés, entonces no habla francés, aunque si no
supiese hablar inglés, tampoco hablaría francés:
p: Pedro sabe halar ingles ¬ p: pedro no habla ingles
q: Pedro habla francés ¬ q: pedro tampoco habla francés
(p → ¬ q) ∧ (¬ p → ¬ q)

Ingeniería de Sistemas – Docente: Ing. Leaneth Pitre Ruiz

 Lógica y teoría de conjuntos 10

f. Los corchetes son usados para agrupar proposiciones compuestas, para

ello también es necesario revisar la ubicación de los signos de
puntuación
g. Si un enunciado contiene verbo en futuro, está indicado el uso de un
condicional.
Ejemplo:
Si viene en tren, llegará antes de las seis
Verbo en futuro
p: viene en tren. q: llegará antes de las
Formalizada: p → q.
h. En el uso del condicional hay que tener en cuenta que existe una
acción antecedente y una acción consecuente.
Antecedente → Consecuente
Ejemplo:

Si nos quedamos a cenar o a dormir, no iremos mañana al concierto.

Antecedente Consecuente
p: nos quedamos a cenar
q: nos quedamos a dormir
¬r: no iremos mañana al concierto
Formalizado:
(p ∨ q) → ¬r
Nota: Las variables proposicionales, los conectivos lógicos, los paréntesis y
corchetes, no se pueden escribir de cualquier manera. No toda expresión es
admitida como una fórmula bien hecha. Una fórmula es una secuencia ordenada
de símbolos.

Ingeniería de Sistemas – Docente: Ing. Leaneth Pitre Ruiz

 Lógica y teoría de conjuntos 11

Ejemplos.
Formalizar los siguientes enunciados:
1. Mañana es sábado y nos iremos a la playa. (Lenguaje Natural)
p: Mañana es sábado
q: iremos a la playa
pᴧq

2. Lo recoges todo o no vas a la excursión y no te regalo el vestido

p: Lo recoges todo
q: vas a la excursión; ¬ q: no vas a la excursión
r: te regalo el vestido; ¬ r: no te regalo el vestido
p v (¬ q ᴧ ¬ r)

3. Si llegas después de las 10, te encontrarás con la puerta cerrada y no podrás

cenar: p → ( q ∧ ¬ r )

4. Juan abrirá la puerta y saldrá a la calle, sólo en el caso de que, si viene

María con el coche, no venga con ella Pedro: ( p ∧ q ) ↔ ( r → ¬ s )

5. Si no crees que lo que te digo ni lo que te dice Juan, nunca sabrás lo que
pasó: (¬ p ∧ ¬ q ) → ¬ r

6. Si eres licenciado, no puede ser cierto que no sepas leer ni escribir:

p → ¬ (¬ q ∧ ¬ r )

7. Si viene en tren, llegará antes de las seis. Y si viene en coche, llegará antes
de las seis. Por lo tanto, si viene en tren o si viene en coche, llegará antes
de las seis:
p: viene en tren
q: antes de las seis
r: viene en coche
Formula: [(p→q) ∧(r → q)] → [(p˅q) → q]

Ingeniería de Sistemas – Docente: Ing. Leaneth Pitre Ruiz

 Lógica y teoría de conjuntos 12

Ejercicios propuestos
Formaliza las siguientes proposiciones:
a. No vi la película, pero leí la novela:
b. Ni vi la película ni leí la novela:
c. No es cierto que viese la película y leyese la novela:
d. Vi la película aunque no leí la novela:
e. No me gusta trasnochar ni madrugar:
f. O tú estás equivocado o es falsa la noticia que has leído:
g. Si no estuvieras loca, no habrías venido aquí:
h. Llueve y o bien nieva o sopla el viento:
i. O está lloviendo y nevando o está soplando el viento:
j. Si hay verdadera democracia, entonces no hay detenciones arbitrarias ni otras
violaciones de los derechos civiles:
k. Roberto hará el doctorado cuando y solamente cuando obtenga la licenciatura:

Ingeniería de Sistemas – Docente: Ing. Leaneth Pitre Ruiz