Curso

Herramientas de Lógica
Computacional
 Lógica Proposicional
• ¿Qué es la Lógica?:
Es una ciencia formal y una rama de la Filosofía que estudia los principios de
la demostración e inferencia válida.

La Lógica examina la validez de los argumentos en términos de su estructura,

independientemente del contenido específico del discurso y de
la lengua utilizada en su expresión y de los estados reales a los que dicho
contenido se pueda referir.

Tradicionalmente ha sido considerada como una parte de la Filosofía. Pero en

su desarrollo histórico, a partir del final del siglo XIX, y su formalización
simbólica ha mostrado su íntima relación con las Matemáticas; de tal forma
que algunos la consideran como Lógica Matemática. En el siglo XX la Lógica
ha pasado a ser principalmente la Lógica simbólica. Un cálculo definido por
unos símbolos y unas reglas de inferencia. Lo que ha permitido un campo de
aplicación fundamental en la actualidad: la Informática.

¿Y que es la Lógica
Proposicional?
 Lógica Proposicional
• Lógica Matemática:
Es la ciencia que estudia los métodos que e usan
para diferenciar lo correcto de lo incorrecto.
por medio de proposiciones y conectores lógicos

¿Que es una Proposición?

 Lógica Proposicional
• Proposición
Una proposición es una oración o enunciado que tienen un sentido absoluto
con dos únicas respuestas verdadera o falso.
Proposiciones No Proposiciones
Hoy es de día V Madre santa
Bogotá es la Capital de Colombia V Cual es tu nombre
Los leones siempre atacan F X+8=Z
Mi mama es la esposa de mi papa V Hacerlo así

8+5=25 F Busca la crema

4>6 F

¿Cómo las vamos a

representar?
 Lógica Proposicional

• Lógica proposicional- demostrar

que las proposiciones
enunciadas, por medio de
métodos y operaciones lógicas
llegar a una repuesta
verdaderas o falsa
 Lógica Proposicional
• Representación de una Proposición
La vamos a representar por letras minúsculas comenzando desde la p.

Proposiciones
Hoy es de día p
Bogotá es la Capital de Colombia q
Los leones siempre atacan r
Mi mama es la esposa de mi papa s

8+5=25 t
4>6 u

¿Qué se hacen con las

proposiciones lógicas?
 Lógica Proposicional
• ¿Que se hace con las proposiciones
lógicas?
la idea principal de las preposiciones lógicas es dar sentido en particular a
una dualidad, es decir una premisas que pueden llegar a tener 2 valor
V/F.
Estas preposiciones las podemos llamar
-Preposiciones simples o atómicas -
los leones siempre atacan : p
- Preposiciones Compuestas que cuentan con 2 o
más enunciado
Los leones siempre atacan :p
los leones tienen hambre: q

¿Qué son los conectores?

 Lógica Proposicional
• Conectores, conectivos o operadores
lógicos
Son símbolos que nos sirven par unir 2 o varias proposiciones.
Conectores o Conectivos lógicos
Negación No p ¬p
Conjunción pyq pq
Disyunción poq pq
Condicional Si p, entonces q qr
Bicondicional o p si y solo si q rs
equivalencia
Disyunción exclusiva Opoq pt

¿Para que sirven?

 Lógica Proposicional
• Negación
La negación es un operador que opera sobre un único valor de verdad,
devolviendo el valor contradictorio de la proposición considerada.
p: En los polos el frío es intenso
¬p: en los polos el frío (no) es intenso
No
p ¬p No es verdad que
Es falso que
V F No pasa que
F V No es el caso

(¿Qué una Tabla de

Verdad?)
 Lógica Proposicional
• Tabla de verdad
Es una tabla armada con posibles valores lógicos que puede llegar a tener
una preposición simple que la componen, para buscar el resultado de
las proposiciones dadas.

¿Como calculamos cuantos valores tendrá la

p ¬p tabla de verdad?
V F
Numero de valores= 2n Donde n es el numero
F V de preposiciones

(¿Qué una Tabla de Verdad?)

 Lógica Proposicional
• Conjunción ó Y
La conjunción es un operador que opera sobre dos valores de verdad,
típicamente los valores de verdad de dos proposiciones, devolviendo el
valor de verdad verdadero cuando ambas proposiciones son
verdaderas, y falso en cualquier otro caso es decir (excluyente)
p: se elevan los precios Pero
q: habrá inflación Sin embargo p q p q
Además V V V
No obstante
V F F
Aunque
A la vez F V F
También F F F
 Lógica Proposicional
• Disyunción O
La disyunción es un operador que opera sobre dos valores de verdad,
típicamente los valores de verdad de dos proposiciones, devolviendo el
valor de verdad verdadero cuando una de las proposiciones es
verdadera, o cuando ambas lo son, y falso cuando ambas son falsas.
es decir (incluyente)

p: se elevan los precios p q p q

q: habrá inflación V V V
V F V
F V V
F F F
 Lógica Proposicional
• Implicación o Condicional
Entonces
Los valores de verdad de dos proposiciones, devolviendo el valor de falso
sólo cuando la primera proposición es verdadera y la segunda falsa, y
verdadero en cualquier otro caso.

p: se elevan los precios p q p q

q: habrá inflación V V V
V F F
Porque
Puesto que F V V
Cuando F F V
Cada vez que
 Lógica Proposicional
• BICondicional o Equivalencia
Si y solo si
Los valores de verdad de dos proposiciones, devolviendo el valor de
verdadero cuando ambas proposiciones tienen el mismo valor y falso
cuando sus valores de verdad difieren.

p: se elevan los precios p q p q

q: habrá inflación V V V
V F F
Cuando y solo cuando F V F
Entonces y solamente entonces
F F V
 Lógica Proposicional
• Disyunción exclusiva o
Inequivalencia
Los valores de verdad de dos proposiciones, devolviendo el valor de Falso
cuando ambas proposiciones tienen el mismo valor y verdadero
cuando sus valores de verdad difieren
p: se elevan los precios
q: habrá inflación p q pq
V V F
O bien V F V
F V V
F F F
 Lógica Proposicional
• Encontrar los valores de verdad
Cuando nos piden encontrar los valores de verdad de una proposición
compuesta, es encontrar los valores que hacen cierta dicha
proposición.
Ejemplo:
1. Encontrar los valores que deben cumplir las proposiciones para que la
respuesta de verdadera

p ∨ q → r
p:
q:
r:
Ejemplo:
1. Encontrar los valores que deben cumplir las proposiciones para que la
respuesta de falsa

p → q ∨ r
p:
q:
r:
Ejemplo:
1. Encontrar los valores que deben cumplir las proposiciones para que la
respuesta de falsa de (p → ¬q )∨ (¬r →¬s) se de duce que los valores de
(¬p¬q)¬q

(p → ¬q )∨ (¬r →¬s)
p:
q:
r:
s:

(¬p  ¬q)  ¬q
 Lógica Proposicional
• A tener en cuenta
Tautología
Se dice que es tautológica si el resultado de la tabla de verdad , es verdadera
sin tener en cuenta los valores iníciales de las proposiciones.
(pq )[(pq)(qp)]

p q (p  q)  [(p  q)  (q  p)]
V V V V V V V V V V V V
V F V F F V F F F F V V
F V F F V F V V F V F F
F F F V F F V F V F V F
 Lógica Proposicional
• A tener en cuenta
Contradicción
Se dice que es contradicción si el resultado de la tabla de verdad , es falsa
sin tener en cuenta los valores iníciales de las proposiciones.
(pq )¬[(pq)(qp)]

p q (p  q)  ¬ [(p  q)  (q  p)]
V V V V V F V V V V V V V
V F V F F V V F F F F V V
F V F F V V F V V F V F F
F F F V F F F V F V F V F
 Lógica Proposicional
• A tener en cuenta
Contingencia
Se dice que es contingencia si el resultado de la tabla de verdad , no es ni
verdadera ni es falsa , sin tener en cuenta los valores iníciales de las
proposiciones.
(pq )[(pq)(qp)]
p q (p  q)  [(p  q)  (q  p)]
V V v V V V V V V V V V V
V F v F F F V F F F F V V
F V F F V F F V V F V F F
F F F V F V F V F V F V F