LÓGICA DE PROGRAMACIÓN

«Lógica Proposicional»

Joaquín Fernando Aguilar

Docente
 La Lógica

- Estudia la forma
del razonamiento
- Es una disciplina que
por medio de reglas y
técnicas determina si un
argumento es o no valido

Indagar Razonamiento correcto

 Proposiciones
La proposición lógica constituye el elemento fundamental de
la lógica.

Una proposición lógica es un enunciado lingüístico que debe

cumplir con la condición de ser susceptible de poder ser
verdadero o falso.
Por ejemplo:

“La temperatura ambiente es mayor de 20 grados” es un

enunciado que puede ser Verdadero o Falso.

El valor de verdad de una proposición lógica es

VoF
Observemos que las proposiciones se dan mediante un
enunciado lingüístico, generalmente en la forma gramatical de
oración enunciativa:

Oración enunciativa se corresponde con los actos de habla

declarativos, los cuales comunican sin más, un hecho:

“Juan es Colombiano”

Estas expresiones contienen un sujeto perfectamente

definido o dado por el contexto, un predicado y una
conjugación del verbo ser, observemos algunos ejemplos:

 Hoy es sábado
 Soy estudiante de lógica
 New York es llamada la capital del mundo
- Proposiciones verdaderas

“10 Es un número entero par”

“21 = 21”

- Proposiciones Falsas

“12 es un número entero impar”

“La solución de 5x – 12 = 1, es 2”.

- Expresiones que no se consideran proposiciones

“23”
“Y es múltiplo e 3”
 Representación de las proposiciones
Las proposiciones se representan
simbólicamente mediante el uso de letras
minúsculas del alfabeto tales como p, q, r,
s, ..., x, y, z

Reciben el nombre de letras o variables

Proposicionales.

Los siguientes ejemplos ilustran cómo se

pueden simbolizar las proposiciones:
 p : Hoy es sábado
 q : Estudio filosofía
 r : Colombia es el país con mayor biodiversidad
 x : 4 + 3 = 10
En el lenguaje cotidiano se encuentran expresiones como
las siguientes:
Ejemplos:

 Las rosas son rojas y tienen espinas.

 Paola estudia o trabaja
 En el país no hay violencia.
 Si estudio lógica entonces podré determinar la
validez de un razonamiento lógico.
 4 es un número par si y sólo si se puede dividir por 2.
 Conectores Lógicos
Sirven para unir o enlazar los enunciados; denominamos a
éstas partículas o términos de enlace "nexos o conectivas",
que establecen relaciones sintácticas como función de
coordinación y subordinación determinadas entre las
proposiciones que la integran.
Partiendo del tabla anterior, podemos hallar la notación
simbólica de las expresiones planteadas:

 
Las rosas son rojas
Expresión:
“Las rosas son rojas y tienen espinas”.

Proposiciones:
p : Las rosas son rojas
q : Las rosas tienen espinas
Notación simbólica:
 
Expresión:
“¨Paola estudia o trabaja”
Proposiciones:
r: Paola estudia
s: Paola trabaja
Notación simbólica:

Expresión:
En el país no hay violencia.
Proposiciones:
t : En el país hay violencia.
Notación simbólica:
¬t
 
Expresión:
Si estudio lógica entonces puedo determinar la validez
de un razonamiento lógico

Proposiciones:
x : Estudio lógica
y : Puedo determinar la validez de un
razonamiento lógico

Notación simbólica:
 
Expresión:

4 es un número par si y sólo si se puede dividir por 2.

Proposiciones:

u : 4 es un número par
v : 4 es divisible por 2

Notación simbólica:
 Clasificación de las proposiciones
Proposiciones simples
Se denominan proposiciones simples aquellas
oraciones que no utilizan conectivos lógicos.
p : Elp eclipse
: El eclipse
es unesfenómeno
un fenómeno natural
natural
q :luna
q : La La luna
es unessatélite
un satélite
de ladetierra
la tierra

Proposiciones Compuestas
Si se unen dos o más proposiciones simples
mediante términos de enlace, tales como no, y, o,
si…entonces, se forman las proposiciones
compuestas
• Si un triángulo es isósceles, entonces es equilátero
• Quiero una gaseosa o quiero un helado

ejemplos de proposiciones compuestas:

 
Sean: p : Está lloviendo
q: El sol brilla
corresponde a: “Está lloviendo y el sol brilla”

 
Sean: x : ¡Quiero café!
y : ¡Quiero té!
corresponde a: “quiero café o quiero té”
 
“El triángulo es equilátero si y sólo si tiene sus
tres lados iguales.”

Sean:
p : El triángulo es equilátero
q: El triángulo tiene sus tres lados iguales
 Conectivos Lógicos
 
Conjunción: “ “
 
Sean p y q dos proposiciones simples. La
proposición compuesta p y q simbolizada por ““, se
denomina la conjunción de p y q.

 
Ejemplo 1:
: 6 es número par y entero positivo, en donde:
r : 6 es un número par.
:y
s : 6 es un entero positivo.
 
: Diego estudia psicoanálisis y Ana estudia
medicina.

p : Diego estudia psicoanálisis

y
q : Ana estudia medicina

Tabla de verdad de conjunción

 
Cuando se afirma que “6 no es un número par y
es entero positivo”
r = 6 es un número par = V
s = 6 es un entero positivo = V
es Falsa (F)

 
Cuando se afirma que “6 es un número par y es
entero positivo”
r = 6 es un número par =V
s = 6 es un entero positivo = V
es Verdadera (V)
La disyunción “ v “
Sean p y q dos proposiciones simples. La proposición
p o q, simbolizada “p v q” se llama disyunción.

Ejemplo:

r v s: Juan estudia ingeniería o Paola estudia

medicina
r : Juan estudia ingeniería
v:o
s: Paola estudia medicina
p v q: Alexandra vive en Bogotá o en
Barranquilla.

p : Alexandra vive en Bogotá.

v:o
q : Alexandra vive en Barranquilla.

Tabla de verdad de la disyunción

Ejemplo:
 
“PI es una constante o 5 es un numero impar”
r = PI es una constante =V
s = 5 es un numero impar =V
es Verdadera (V)
 
«10 es múltiplo de 2 o 3 es un numero par»
p = 10 es un múltiplo de 2 = V
q = 3 es numero par =F
es Verdadera (V)
 
«todos los años son bisiestos o el año tiene 400 días»
u = todos los años son bisiestos = F
v = el año tiene 400 días =F
es Falsa(F)
La negación ~
Sea p una proposición simple. Se define la negación
de p mediante la proposición compuesta no p
simbolizada por: “~ p” o por “¬p ”

Ejemplo:
p : 3 es un número entero primo.
¬p : 3 no es un número entero primo, también se
puede leer. Es falso que 3 es un número
entero primo.

q : El automóvil de Francisco es rojo.

~ q: El automóvil de Francisco no es rojo
 Tabla de vedad de la negación

 
El condicional ““
Se dice que una proposición compuesta es
condicional, si está formada por dos proposiciones
simples enlazadas por la expresión “si…entonces”.
 
Si p y q representan dos proposiciones, la
expresión “si p entonces q” se simboliza así: p q y
se lee p implica q.
 
La proposición precedida por la expresión “si”, se
llama antecedente o hipótesis y la proposición
precedida por la expresión “entonces”, se llama
consecuente o conclusión de la implicación. En la
expresión , el antecedente es p y el consecuente
es q.
Las proposiciones condicionales se pueden enunciar
en nuestro lenguaje natural de diferentes maneras:
 Si p entonces q
 p sólo si q
 q si p
 p es suficiente para q
 q es necesaria para p
Ejemplo:

 Si es conductista entonces reduce toda

conducta humana a la relación estímulo-
respuesta
 Apruebo el semestre sólo si estudio
 El algoritmo está bien enunciado si el programa
corre
 Si dos rectas nunca se cortan necesariamente
son paralelas
 Tabla de vedad para el condicional

Ejemplo:

Supongamos verdaderas las siguientes proposiciones:

Sea p: es un día soleado
q: hace calor
 Caso 1:
Si es un día soleado entonces hace calor. En este caso el
antecedente y el consecuente se cumplen. Por lo tanto la
proposición compuesta es verdadera.

 Caso 2:
Es un día soleado entonces no hace calor. En este caso el
antecedente se cumple pero no se cumple el consecuente. Por
lo tanto la proposición compuesta es falsa.

 Caso 3:
No es un día soleado entonces no hace calor. En este caso no se
da el antecedente y no se cumple el consecuente. No obstante
esto no hace falsa la proposición compuesta original “Si es un
día soleado entonces hace calor”. Por lo tanto la proposición
compuesta es verdadera.
 
El bicondicional ““
Se denomina bicondicional a la proposición formada
por dos proposiciones simples conectadas por la
expresión “sí y sólo sí”.
 
Simbólicamente si p y q son proposiciones simples,
la doble implicación constituye un bicondicional,
donde p recibe el nombre de primer miembro y q
segundo miembro.

 
El bicondicional está formado por las implicaciones
(
 
La proposición bicondicional tiene varias formas:

 p sí y sólo si q
 q sí y sólo si p
 si p entonces q y recíprocamente
 si q entonces p y recíprocamente
 p es una condición necesaria y suficiente para q
 q es una condición necesaria y suficiente para p
A continuación un ejemplo con premisas asociadas
a la geometría:

Dadas las proposiciones atómicas:

p: Un triángulo es rectángulo
q: Un triángulo tiene un ángulo recto
 
El bicondicional se puede traducir de las siguientes
formas:
 Un triángulo es rectángulo sí y sólo sí tiene un
ángulo recto.
 Un triángulo tiene un ángulo recto sí y sólo sí
es un triángulo rectángulo
 Si un triángulo es rectángulo entonces tiene
un ángulo recto y si un triángulo tiene un
ángulo recto entonces es un triángulo
rectángulo.
Tabla de vedad para el Bicondicional
 Ejercicios
1. Juan estudia matemáticas.
p. simple

2. Laura tiene 8 años.

p. simple

3. Pedro es profesor o enfermero.

 
𝑝 ∨𝑞
4. Catalina visito a sus padres y a su novio.
 
𝑝 ∧𝑞
5. Las rosas son rojas y tienen espinas.

 
 
𝑝 ∧𝑞
6. Si Paola estudia medicina entonces podra salvar
muchas vidas.

 
𝑝→𝑞

7. 8 es múltiplo de 2 y es un numero par.

 
𝑝 ∧𝑞
8. Si 30 es múltiplo de 5 entonces es múltiplo de 10

 
𝑝→𝑞

9. Karina tendrá una buena educación si pone sus

estudios antes que su interés en ser estrella de
cine.
 
𝑝↔𝑞
  
10. Si Homero aprueba su curso de programación
  termina su proyecto de estructura de datos, podrá
tomar el curso de lenguajes de programación el
próximo semestre.

R: Homero aprueba su curso de programación

S: Homero termina su proyecto de estructura de datos
T: Homero podrá tomar el curso de lenguajes de programación el
próximo semestre.

 
(𝑟 ∧𝑠 )→ 𝑡
11. Si trabajo juicioso o con responsabilidad,
entonces lograre mejorar la calidad de vida e
ingresare a la universidad.

P: yo trabajo juicioso
Q: yo trabajo con responsabilidad
R: yo lograre mejorar la calidad de vida
S: yo ingresare a la universidad

( 𝑝 ∨𝑞) →(𝑟 ∧ 𝑠)
 
12. Si Pablo se encontró con Carlos ayer, entonces
tomaron café juntos o pasearon por el parque.

R: Pablo se encontró con Carlos ayer

S: tomaron café juntos
T: pasearon por el parque

𝑟 →(𝑠 ∨ 𝑡 )