Introducción a la Lógica Matemática

ESCUELA: Ciencias de la Computación

NOMBRE: Ing. Ruth Reátegui

1
 QUE ESTUDIA LA LÓGICA

 Verificar que un argumento sea correcto.

 Argumento esta formado por unas
premisas y una conclusión.
 Queremos verificar que la conclusión es
derivable de las premisas. “Relación de
Consecuencia”.
 QUÉ ES UN ENUNCIADO?

 Dentro del lenguaje natural, es una

expresión lingüística que establece un
pensamiento completo.
 Interrogativo: Cuál es tu color favorito?
 Imperativo: Cierra la puerta.
 Declarativos: Carlos estudia en la UTPL.
 Exclamativo: !Que lindo día!
 ENUNCIADO O PROPOSICIÓN

Declarativos: se les puede asignar un valor

de verdadero o falso.

Atómicos o Simples
Carlos estudia

Moleculares o Compuestos
Carlos estudia y trabaja
 LÓGICOS

PRESENTACÓN DE LOS SISTEMAS LÓGICOS

L. Proposicional Trabaja a los ,  , v, , 

L. de Enunciados enunciados p, q, r, s….

declarativos simples o
L. de Conectores atómicos como un
todo indivisible.
L. Predicados Realiza un análisis ,  , v, , 

L. de Primer Orden más detallado de las Cuantificadores

proposiciones. Sujetos y
L. Cuantificacional Predicados

5
 EJEMPLOS DE SIMBOLIZACIÓN

ENUNCIADO O PROPOSICIÓN L. L.
PROP PRED
Carlos juega. P J(c)

El 2 y el 4 son El número 2 es par P  Q P(d)  P(c )

números pares. y el número 4 es
par

Si María estudia Si María estudia P Q E(m)U(m)

entonces irá a la entonces María irá
universidad. a la universidad.

6
 CONECTIVAS
CONECTIVAS SÍMBOLO LENGUAJE NATURAL

Negación , - , ~ No p; no es cierto p; no
es verdad que p; es
falso que p; etc.
Conjunción  P y q; p pero q; p sin
embargo q; p no
obstante q; p sin
embargo q.
Disyunción v P o q; al menos p o q.

5
 CONECTIVAS
CONECTIVAS SÍMBOL LENGUAJE NATURAL
O
Condicional  Si p entonces q; si p, q ;
p implica q; p solo si q; p
es suficiente para q; no p
a menos que q; q si p; q
es necesario para p; etc…
Bicondicional  P si y solo si q; p
necesario y suficiente para
q

5
ENUNCIADOS O PROPOSICIONES VÁLIDOS

 1. Verdadero “V” y Falso “F” son

proposiciones.
 2. Toda letra enunciativa o variable
proposicional: p, q, r, s… es una proposición.
 3. Si p es una proposición, también lo es p.
 4. Si p y q son proposiciones, también lo son
(p v q), (p  q), (p  q), (p  q).

9
PROPOSICIONES NO SON
PROPOSICIONES
p p q

(p v q) (p q)  r

(p v q)  (r  t)  (r  t)

(t  (r v p)) (sp) t 

P ((q v r )  q) v r  q
10
SIMBOLIZACIÓN LÓGICA PROPOSICIONES

ENUNCIADO SIMBOLOS
Si las hojas pq
caen entonces
es otoño.
El cielo y el mar El cielo es azul y p  q
son azules. el mar es azul.
El cuatro no es El cuatro no es p v q
primo o es par. primo y el cuatro
es par.

11
 SIMBOLIZACIÓN
ENUNCIADO SIMBOLOS
Los hombres Los hombres son pq
son mamíferos mamíferos y los
y comen carne. hombres comen
carne.
Si los hombres Si los hombres p q
son mamíferos son mamíferos
entonces entonces los
tienen cuatro hombres tienen
patas. cuatro patas.
12
 SIMBOLIZACIÓN
ENUNCIADO SIMBOLOS
Si el lunes y el Si el lunes (pq)(
martes trabajo trabajo y el r s)
entonces no martes trabajo
son días entonces el lunes
feriados. no es feriado y el
martes no es
feriado.
Si el lunes y el Si el lunes (pq)
martes trabajo trabajo y el r
entonces no iré martes trabajo
al paseo. entonces no iré
13
al paseo.
 SIMBOLIZACIÓN
ENUNCIADO SIMBOLOS
Pablo es Pablo es p v (qr)
mexicano o si mexicano o si
es ecuatoriano Pablo es
entonces no ecuatoriano
come tacos. entonces Pablo
no come tacos.

14
 PRECEDENCIA

CONECTIVA NIVEL
 1
, v 2
,  3

Las conectivas del nivel i actúan primero

con respecto a las del nivel i + 1.

15
 PRECEDENCIA
1. pq r s
pq (r) (s)
(pq) ((r) (s))
 
2. p r  q ?

(p) (r)  q
(p) ((r)  q)
 
3. p v r q
(p v r) q
 
16
 BIBLIOGRAFÍA

P. Iranzo. Lógica Simbólica para Informáticos. RA-

MA 2004 
?

17
18