ESCUELA ACADEMICO PROFESIONAL

DE ODONTOLOGA

AL CICLO 2014-2

Curso

Fundamento de
Matemtica y Lgica
Grupos : A (Turno Maana)
B (Turno Tarde)
Horarios : Revisar Silabo
Lugar

: Aulas 1 o 2 o 3 (E.A.P.O)
II Ciclo

MSc. Merly Liliana YATACO BERNAOLA

Maestra en Matemticas

2014 - 2

Semana

Contenidos:
EL LENGUAJE DE LA
LGICA PROPOSICIONAL

O1

> Enunciados.
> Proposiciones.
> Partculas lgicas o
Conectivos lgicos.
Docente : MSc. Merly Liliana YATACO BERNAOLA
Asignatura: Fundamentos de Matemtica y Lgica
II Ciclo
2014 - 2

Se dice que para sacar una

conclusin ,hay que tener la
informacin, pero se puede
concluir solo a partir de
datos ?

(04)

Qu observas?

Hay operarios arreglando la cerca y el piso, o estn

reparando la terraza y hay gente que intenta subir?

(05)

 Qu ocurre si solo nos dejamos llevar por nuestros

sentidos?
Es necesario tener la informacin en un contexto ?
La lgica nos permite ir ms all de la informacin
que nos proporcionan nuestros sentidos y en un
contexto determinado.

(06)

QU ES LA LGICA?
Es una disciplina que mediante reglas y tcnicas
estudia la forma del razonamiento.
En matemtica se emplea para demostrar teoremas; en
computacin, para validar un programa; en fsica,
para dar conclusiones de experimentos y, en la vida
cotidiana, para cualquier trabajo que se realiza ya que
tiene un procedimiento lgico.
Gracias a ella, el ser humano distingue la realidad de
la percepcin y defiende sus puntos de vista con
argumentos basados en hechos y datos. Esto lo logra
utilizando su inteligencia y con la ayuda de los
conocimientos adquiridos.
(07)

Qu es una proposicin?
Es un enunciado coherente que se posee un valor
de verdad: verdadero (V) o falso (F), sin
ambigedades y en determinado contexto.
Ejm :
p : (2+3 ) = 4 + 9 ; v(p)=F
q : Lima es una ciudad de la costa del Per.
v(q)=V
Se simboliza con letras minsculas (p; q; r; etc.)
(08)

EJEMPLIFICANDO
Identifica las expresiones que son
proposiciones:
1. Sofa Mulanovich fue campeona mundial de
c
tabla en el 2004.
2. Tal vez compre un obsequio.
3. Leo formul una pregunta difcil de responder. c
4. 3 + 2 = 5 . c
5. Dos nmeros enteros distintos pueden sumar
c
cero.
6. Ojal tomen lo que he estudiado!
(09)

Cules son los tipos de proposiciones?

Simples o Atmicas: Son aquellas que tienen una
nica idea, es decir una sola afirmacin, siempre en
positivo.
Ejm.
r : 6 es un nmero entero
s : Los estudiantes universitarios tienen

carnet de medio pasaje.

Compuestas o Moleculares: Son aquellas que tienen
dos o ms proposiciones .
Ejm.
a) Cusco est en el Per y el Per est en
Sudamrica
b) No es cierto que apruebe Fundamento de
Matemtica y Lgica
(10)

EJERCITNDONOS
Identifica si la proposicin es compuesta (C) o
simple (S).
Pablo es culto.
S
Tres no es mayor que 5.
C
Los cuadrilteros tienen cuatro lados. S
Ana y Jos son alumnos de II Ciclo. C
Rosa tiene 17 aos.
S
Elva y Jorge no estudiaron FML.
C
No es cierto que 34 sea igual a 243. C
(11)

CONECTORES LGICOS
Llamados tambin operadores
lgicos o partculas lgicas , son
palabras que sirven para enlazar
proposiciones simples o cambiar el
valor
de
verdad
de
una
proposicin.
(12)

CONECTORES LGICOS
CONECTOR

SMBOLO

ESQUEMA

SIGNIFICADO

VALOR DE VERDAD

CONJUNCIN

pq

pyq

V si ambas proposiciones
son V

DISYUNCIN
INCLUSIVA

pq

poq

F solo si ambas
proposiciones son F

DISYUNCIN
EXCLUSIVA

pq

opoq

F si ambas proposiciones
tienen igual valor de
verdad
F solo si la primera
proposicin es V y la
segunda es F
Lo opuesto al valor de la
proposicin

CONDICIONAL

pq

si p,
entonces q

NEGACIN

no p

(13)

CONECTORES LGICOS
CONECTOR

CONJUNCIN

CONDICIONAL

NEGACIN

EXPRESIONES
EQUIVALENTES

Sin embargo, aunque, tambin,

pero, adems, a la vez, no
obstante, etc.
Por consiguiente, puesto que,
porque, ya que, etc.

No es cierto que, es falso que,

no es el caso que, etc.

EJEMPLIFICANDO
Determina el valor de verdad de las
siguientes expresiones, si sabes que:
p: Mara es doctora.
; v(p)=V
q: Mara es casada.
; v(q)=F
r: Mara vive con sus padres. ; v(r)=V
s: Mara viajar a Espaa.
; v(s)=F
a) (q r ) s
b) (p r) (p q)
(15)

EJEMPLIFICANDO
Dadas las siguientes proposiciones:

p : Estudio sistemticamente
q : Obtendr buenas calificaciones en FML
r : Voy a bailar todos los fines de semana
s : Me sentir feliz

Escriba con palabras la siguiente proposicin:

(~ p r ) ~ q
Si no estudio sistemticamente y voy a bailar
todos los fines de semana entonces no obtendr
buenas calificaciones en FML.
(16)

EJEMPLIFICANDO
Dadas las siguientes proposiciones:

p : a es un nmero par
q : 2a es un nmero par
r : a es un mltiplo de 6
s : a < 10

Escribe con smbolos la siguiente proposicin:

Si a es un nmero par y mltiplo de 6,
entonces 2a es par o a es menor que 10
p rqs
(17)

Veamos otras
aplicaciones de la lgica

(18)

EL ACERTIJO DEL REY

Un rey plantea a los pretendientes de su hija lo
siguiente:
Se casa con mi hija quien determine en cual
de los cofres se encuentra mi retrato
Si se sabe que de las inscripciones solo una es
falsa, en cul de los cofres se encuentra el
retrato?
(19)

EL ACERTIJO DEL REY

Recuerda solo una
inscripcin es falsa

A
EL RETRATO ESTA EN
ESTE COFRE
B
EL RETRATO NO ESTA
EN ESTE COFRE
C
EL RETRATO ESTA EN
EL COFRE DEL
CENTRO

(20)

SOLUCION
Analizando lo escrito en el cofre A:
Si A es verdadero, entonces B es verdadero y C es falso.

Analizando lo escrito en el cofre B:

Si B es verdadero, entonces C es falso y A es verdadero.

Analizando lo escrito en el cofre C:

Si C es verdadero, entonces A es falso y B es falso.

Por lo tanto, el retrato se encuentra en el cofre: A

(21)

OBSERVA EL SIGUIENTE
TABLERO
PROPOSICIN DISYUNTIVA
INCLUSIVA

PROPOSICIN
SIMPLE

TABLERO DE
PROPOSICIONES
LGICAS
PROPOSICIN
CONJUNTIVA

PROPOSICIN
CONDICIONAL

PROPOSICIN
NEGATIVA

(22)

UBICA ESTAS PROPOSICIONES

SEGN CORRESPONDA
No es cierto que la
Escuela de Posgrado
est en Ciudad
Universitaria.

Lisbeth es
Odontloga
o Ingeniera.

Si apruebo el curso de
FML entonces
conservo la beca.

Es primavera pero
hace frio.

Miguel es
Bachiller en
Odontologa.

(23)

Cmo formalizar el lenguaje natural en L0

(i) Identificar los enunciados simples.
(ii) Asignar a cada enunciado simple una
constante proposicional.
(iii) Identificar las partculas lgicas:
conjuncin, disyuncin, negacin,
condicional, bicondicional, etc.
(iv) Reconstruir los enunciados complejos a
partir de los simples y las partculas
lgicas.

(24)

Algunas formalizaciones sencillas

CONJUNCIN ()
Jorge canta y Jimena baila y Pal da palmas
p: Jorge canta
q: Jimena baila
r: Pal da palmas

pqr
(25)

Algunas formalizaciones sencillas

DISYUNCIN ()
Jorge canta o Jimena baila o Pal da palmas
p: Jorge canta
q: Jimena baila
r: Pal da palmas

pqr
(26)

Algunas formalizaciones sencillas

Jorge canta, o Jimena baila y Pal da palmas
p: Jorge canta
q: Jimena baila
r: Pal da palmas

p (q r)
(27)

Algunas formalizaciones sencillas

Jorge canta o Jimena baila, y Pal da palmas
p: Jorge canta
q: Jimena baila
r: Pal da palmas

(p q) r
(28)

Algunas formalizaciones sencillas

CONDICIONAL ()
Si Jorge canta, Jimena baila
p: Jorge canta
q: Jimena baila

pq
(29)

Algunas formalizaciones sencillas

Si Jorge canta y Jimena baila, Pal da palmas
p: Jorge canta
q: Jimena baila
r: Pal da palmas

(p q) r
(30)

Algunas formalizaciones sencillas

Jorge canta, y, si Jimena baila, Pal da palmas
p: Jorge canta
q: Jimena baila
r: Pal da palmas

p (q r)
(31)

Algunas formalizaciones sencillas

BICONDICIONAL ()
Jorge canta si y slo si Pal da palmas
p: Jorge canta
r: Pal da palmas

pr
(32)

Algunas formalizaciones sencillas

Jorge no canta si y slo si Pal no da palmas
p: Jorge canta

r: Pal da palmas

p r
(33)

Algunas formalizaciones sencillas

Si Jorge canta, entonces Jimena baila si Pal no da
palmas

p: Jorge canta
q: Jimena baila
r: Pal da palmas

p (r q)
(34)

Algunas formalizaciones sencillas

Jorge canta, si y slo si Jimena no baila si Pal da palmas

p: Jorge canta
q: Jimena baila
r: Pal da palmas

p (r q)
(35)

(iii) Identificar las partculas lgicas

Expresiones equivalentes a Y
1. Loanna habla Y Leonardo duerme
2. Loanna habla, PERO Leonardo duerme
3. Loanna habla AUNQUE Leonardo duerme
4. Loanna habla, SIN EMBARGO, Leonardo duerme
5. Loanna habla, Leonardo duerme
6. A PESAR DE QUE Loanna habla, Leonardo duerme

pq

(36)

(iii) Identificar las partculas lgicas

Expresiones equivalentes a O
1. Loanna habla O Leonardo duerme
2. Loanna habla, A MENOS QUE Leonardo
duerma

pq
(37)

(iii) Identificar las partculas lgicas

Expresiones equivalentes a NO
1. Loanna NO habla
2. NO ES EL CASO QUE Loanna hable
3. NO OCURRE QUE Loanna hable
4. NO ES CIERTO QUE Loanna habla

p
(38)

(iii) Identificar las partculas lgicas

Expresiones equivalentes a

SIENTONCES

1. SI Loanna habla, ENTONCES Leonardo duerme

2. CUANDO Loanna habla, Leonardo duerme
3. Que Loanna hable ES SUFICIENTE PARA que Leonardo
duerma
4. Que Loanna hable IMPLICA QUE Leonardo duerma
5. SIEMPRE QUE Loanna habla, Leonardo duerme
6. Leonardo duerme, SI Loanna habla
7. Leonardo duerme EN CASO DE QUE Loanna hable
8. Leonardo duerme SUPUESTO QUE Loanna hable

pq
(39)

NECESARIO / SUFICIENTE
Compara 2 universidades:
U1: Es suficiente sacar un 11 para tener Matrcula
U2: Es necesario sacar un 11 para tener Matrcula

Si sueles sacar 11 y te interesa tener Matrcula,

qu universidad te lo pone ms fcil?
La U1! SI sacas un 11, tienes Matrcula.
En la U2 sacar 11 no implica tener Matrcula.

En la U2 ocurre que SI NO sacas 11,

NO tienes Matrcula.
Por tanto, SI tienes Matrcula, es que tienes un 11
(40)

Por tanto, si nos encontramos:

es suficiente para

es necesario para

(41)

(iii) Identificar las partculas lgicas

Expresiones equivalentes a SI Y SLO SI

1. Loanna habla SI Y SLO SI Leonardo duerme
2. Loanna habla CUANDO Y SLO CUANDO Leonardo
duerme
3. Que Loanna hable EQUIVALE A que Leonardo duerma
4. Que Loanna hable ES NECESARIO Y SUFICIENTE
PARA que Leonardo duerma
5. Loanna habla, EN EL CASO, Y SLO EN EL CASO, DE
QUE Leonardo duerma

pq
(42)

(iii) Identificar las partculas lgicas

Formalizaciones equivalentes:
1. Ir al cine o al teatro

pq

2. Ir al cine a menos que vaya al teatro

Hemos visto que estas dos expresiones se formalizan igual

(43)

(iii) Identificar las partculas lgicas

Formalizaciones equivalentes:

2. Ir al cine a menos que vaya al teatro

3. Si no voy al teatro, voy al cine

Pero cabe pensar que 2 viene a decir lo mismo que 3

(44)

(iii) Identificar las partculas lgicas

Formalizaciones equivalentes:

2. Ir al cine a menos que vaya al teatro

p q
4. Si no voy al cine, voy al teatro

Y tambin puede parecernos que 2 viene a decir lo mismo que 4

(45)

(iii) Identificar las partculas lgicas

Formalizaciones equivalentes:
1. Ir al cine o al teatro

pq

2. Ir al cine a menos que vaya al teatro q

3. Si no voy al teatro, voy al cine

p q

4. Si no voy al cine, voy al teatro

Veremos que en el fondo todas son lgicamente equivalentes

(46)

(47)

Otras expresiones:
NI NI es lo mismo que NO Y NO
Ni estudio ni trabajo
p : estudio ; q : trabajo
p q
No tomo leche y harina
La idea es que no los tomo conjuntamente
(p q)
OJO! p q NO EQUIVALE A (p q)

(iv) Reconstruir los enunciados complejos

- Lo fundamental en los casos que plantean dudas
razonables es aplicar el sentido comn y
mantener un CRITERIO HOMOGNEO.
- Hay que tener mucho cuidado en no aadir nada
que no venga realmente dado en la oracin

- La lgica proposicional no permite muchas

florituras: lo fundamental es mantener la forma
lgica con las conectivas y evitar ambigedades
- La formalizacin tiene un poco de arte y, como
tal, requiere prctica.
(48)

EVALUNDONOS

Qu aprendimos?
Cmo lo aprendimos?
Por qu es til lo aprendido?
(49)