1.1 Logica Matematica

Docente: Ing.
Gustavo Ramrez Zambrano
Lgica Matemtica
Se dice que para sacar una

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

Ing. Civil
Cada mano dibuja

entre si una manga
de camisa?

Ing. Civil
Qu observas?
Hay operarios arreglando la cerca y el piso, o estn reparando
la terraza y hay gente que intenta subir?

Ing. Civil
Son posibles esas imgenes?

Por qu?
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.
Ing. Civil
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.

Ing. Civil
La lgica es
un mtodo de
razonamiento
que no acepta
conclusiones
errneas
Qu es una proposicin?
Es un enunciado coherente que posee un valor de
verdad: verdadero (v) o falso (f), sin
ambigedades y en determinado contexto.
Ej. :
(2+3) = 4 + 9 (falso)
Manta es una ciudad de la costa de Ecuador.
(verdadero)
Se simbolizan con letras minsculas (p; q; r; etc.)
Las Oraciones exclamativas, interrogativas o
imperativas por naturaleza no son proposiciones.
Ing. Civil
Ejemplos:
1. Guayaquil es la capital de Ecuador
Proposicin
2. 2 + 2 = 3
Proposicin
3. Qu hora es?
No es una Proposicin; oracin interrogativa
4. x + y = z
No es una Proposicin; desconocemos x, y, z

Ing. Civil
Ejemplos:
5. Tome una taza de caf
No es una Proposicin; oracin imperativa
Nota: Tom una taza de caf. Si es una proposicin
6. Alex Rodrguez es mejor jugador de

beisbol que Dereck Jeter.
No es una Proposicin

Ing. Civil
Cules son los tipos de proposiciones?

Simples: Son aquellas que tienen una nica idea, es
decir una sola afirmacin, siempre en positivo.
Ejem. -6 es un nmero entero
Los universitarios tienen carnet de
medio pasaje.
Compuestas: Son aquellas que tienen dos o ms
proposiciones usando conectivos lgicos.
Ejem.
Cusco est en el Per y el Per est en
Sudamrica
Si x = 4 x=2 o x=-2
Ing. Civil
10
VAMOS A EJERCITARNOS
Identifica si la proposicin es compuesta (C) o simple
(S).
S
Pablo es culto.
C
Tres no es mayor que 5.
Los cuadrilteros tienen cuatro lados. C
S
Ana y Jos son esposos.
S
Rosa tiene 20 aos.
Ana y Jos estn casados.
C
No es cierto que 34 sea igual a 243. C
Ing. Civil
11
Los conectores
smbolos son:
sus
respectivos
y
o
negacin
si...entonces....
si .......y solo si......

Ing. Civil
12
Ejemplos de proposiciones
compuestas
Leo un libro y leo el Vocero.
Compuesta; conectivo y
Si l lo dijo, entonces es cierto.

Compuesta; conectivo sientonces
Maana ser Domingo.

No es compuesta
Nota: Maana no ser Domingo.

Aunque no consta de dos proposiciones, para
conveniencia se considera compuesta ya que su valor
de verdad depende de una
proposicin diferente.
Maana ser
Domingo.
Ing. Civil
13
Ejemplos de proposiciones
compuestas
La firma de abogados que atendi el caso se
llam Goldman Antonetti y Cordva, P.S.C
No es compuesta; y no es un conectivo en este caso por
que y es parte del nombre de la firma de abogados

Ing. Civil
14
CONECTORES LGICOS
Llamados
tambin
operadores
lgicos , son palabras que sirven para
enlazar proposiciones simples o
cambiar el valor de verdad de una
proposicin.

Ing. Civil
15
Conectores Logicos
p q;
p q;
p y q,
p o q,
conjuncin p y q: proposicin compuesta que

es verdadera cuando tanto como p y q son
verdadera y falsa en otro caso.
p q
Disyuncin inclusiva p y q: proposicin

compuesta que es falsa cuando ambas p y q son
falsas y verdadera en otro caso.
p q

Ing. Civil
16
Conectores Logicos
pq; p q ,
Disyuncin exclusiva p y q: proposicin

compuesta que es verdadera cuando solamente
una p y q sea verdadera y falso en otro caso.

Ing. Civil
pq
17
Conectores Logicos
p;
p q;
no p ,
negacin de p : proposicin formada al escribir

no es el caso que o es falso que antes de p o
al insertar la palabra no de manera adecuada
en p.
si p entonces q: proposicin compuesta

condicional la cual es falsa cuando p es
verdadera y q es falsa, y verdadera en otro caso
p q

Ing. Civil
18
Conectores Logicos
p q;
A B;
p si y slo si q : proposicin compuesta

bicondicional la cual es verdadera cuando p y q
tienen los mismos valores de verdad y falsa en
caso contrario.
p q
A y B son lgicamente equivalentes:

Las formas proposicionales
A p 1 , p 2 , p 3 ,..., p n
B q 1 , q 2 , q 3 ,..., q n
son lgicamente equivalentes si tienen tablas de

verdad idnticas. A esto es lo que se le conoce
como una tautologa.

Ing. Civil
19
Conectores Logicos
por lo tanto
para todo
Cuantificadores
existe
Cuantificadores universales: todo, cada uno, todos, ninguno
Cuantificadores existenciales: hay, al menos uno

Ing. Civil
20
CONECTORES LGICOS
CONECTOR
EXPRESIONES EQUIVALENTES
CONJUNCIN
Sin embargo, aunque, tambin, pero, adems, a la vez,

no obstante, mas, etc.
Tambin con signos de puntuacin como: la coma, el
punto, y el punto y coma.
DISYUNCION EXCLUSIVA
o, o slo, o solamente, o.., o.
CONDICIONAL
Por consiguiente, puesto que, porque, ya que,

si p, entonces q, o cualquier expresin que denote
causa y efecto.
NEGACIN
No es cierto que, es falso que, no es el caso que, no, ni,

no es verdad que, etc.
BICONDICIONAL
p si y solo si q, p si y solamente si q, p implica q y q

implica p, p cuando y solo cuando b
Ing. Civil
21
Uso de conectores lgicos

Sean p que representa Hoy estamos a 80F,
q que representa Hoy es martes.
Transcriba cada proposicin simblica en palabras
1) p q :
Hoy estamos a 80F o es martes.
2 ) p q : Hoy no estamos a 80F y es martes.

3) p q : No es el caso que hoy estemos a
80F o que sea martes.
sta proposicin se puede traducir como ni p ni q o
Ing. Civil
p q
22
Uso de conectores lgicos

Sean p que representa Hoy estamos a 80F,
q que representa Hoy es martes.
Transcriba cada proposicin simblica en palabras
4) p q :
No es el caso que hoy estemos a

80F y sea martes.
p q

Ing. Civil
23
EJEMPLIFICANDO
Dadas las siguientes proposiciones:
p : Estudio sistemticamente
q : Obtendr buenas calificaciones en lgebra
r : Voy a bailar todos los fines de semana
s : Me sentir feliz
Escriba con palabras la siguiente proposicin:

(~ p r ) ~ q
Si no estdio sistemticamente y voy a bailar
todos los fines de semana entonces no obtendr
buenas calificaciones en lgebra.
Ing. Civil
24
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 r) (q s)
Ing. Civil
25
EJEMPLIFICANDO
Determina el valor de verdad de las siguientes
expresiones, si sabes que:
(V)
(F)
(V)
(F)
p: Mara es doctora.
q: Mara es casada.
r: Mara vive con sus padres.
s: Mara viajar a Espaa.
(q r) s
(F F) F
V F
F
(p r) (p q)
(V V) (V F)
V F
V

Ing. Civil
26
Veamos otras
aplicaciones de la lgica

Ing. Civil
27
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?
Ing. Civil
28
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
Ing. Civil
29
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

Ing. Civil
30
Orden de prioridad de los conectores

lgicos
Se usar generalmente parntesis para
especificar el orden en que se aplicarn los
operadores lgicos.
De no haber parntesis, se adopta el siguiente
orden de prioridad.
Conectivo
Prioridad
2
3
4
Ing. Civil
5
31
Tablas de verdad
Una
proposicin
componentes tendr
tabla de verdad.
p
lgica
con
n
2 n renglones en su
Nota: p proposicin (1 componente):
21 2
renglones.
22 4
renglones.
23 8
renglones.

Ing. Civil
32
Tablas de verdad
q
p q
disyuncin p y q: proposicin compuesta que

es falsa cuando ambas p y q son falsas y
verdadera en otro caso.
2 2 4 renglones
q
p q
conjuncin p y q: proposicin compuesta que

es verdadera cuando tanto como p y q son
verdadera y falsa en otro caso.

Ing. Civil
33
Tablas de verdad
p
si p entonces q : proposicin compuesta

condicional la cual es falsa cuando p es
verdadera y q es falsa, y verdadera en otro caso
p si y slo si q : proposicin compuesta

bicondicional la cual es verdadera cuando p y q
tienen los mismos valores de verdad y falsa en
caso contrario.

Ing. Civil
34
Tautologa y Contradiccin
Una proposicin compuesta
P P p 1 , p 2 , p 3 ,..., p n
Proposiciones elementales
Se denomina tautologa si es verdadera para toda

p 1 , yp 2 , p 3 ,..., p n
asignacin de verdad, y
contradiccin si es falsa.
p
p p
p p
V
F

Ing. Civil
35
P P p 1 , p 2 , p 3 ,..., p n

p 1 , p 2 , p 3 ,..., p n
p
p p
p p

Ing. Civil
36
P P p 1 , p 2 , p 3 ,..., p n

p 1 , py2 , p 3 ,..., p n
p
p p
p p

Ing. Civil
37
P P p 1 , p 2 , p 3 ,..., p n

p 1 , py2 , p 3 ,..., p n
p p
p p
p p
p p
Es una tautologa
Ramrez Zambrano
Es una Gustavo
contradiccin
Ing. Civil
Contingencia:
si existieran valores de
verdad verdaderos y
falsos para las formas
proposicionales.
38
Proposiciones equivalentes
p
p q
p q

Ing. Civil
p q
39
p
p q
p q

Ing. Civil
p q
40
p
p q
p q

Ing. Civil
p q
41
p
p q
p q

Ing. Civil
p q
42
p
p q
p q

Ing. Civil
p q
43
p
p q
p q
p q

Ing. Civil
44
p
p q
p q
p q
entonces p q p q

Ing. Civil
45
Leyes del lgebra de proposiciones

1. Ley de idempotencia
2. Ley de identidad
p p p, p p p
p F p, p V p
Prueba: Suponga que p es verdadero, entonces
p F
V F
V
p
Suponga que p es falso, entonces
p F
F F
F

Ing. Civil
46

3. Ley dominante
p V V,
pF F
Prueba:
p V
V V
V
p F
F V
V F
F F
p V

Ing. Civil
p F
47

4.
Ley de complemento
p p V
p p F
5.
Ley conmutativa
pq q p
pq q p
6.
Ley asociativa
p q r p q r
p q r p q r

Ing. Civil
48

7.
Ley distributiva
p q r p q p r
p q r p q p r
8.
Ley de absorcin
p p q p
p p q p
9.
Ley de Morgan
p q q p
p q q p
Ing. Civil
49

10. Ley de la negacin
F V
V F
11. Ley Involutiva
( p ) p
12. Ley contrarecproca
( p q ) ( q p )
13. Ley de implicacin
( p q ) ( p q )
( p q ) ( p q )
( p q ) ( p q )
Ing. Civil
50

13. Ley de implicacin
[( p r ) ( q r )] [( p q ) r ]
[( p q ) ( p r )] [ p ( q r )]
14. Ley de exportacin
[( p q ) r ] [ p ( q r )]
15. Reduccin al absurdo
( p q ) [( p q ) F ]
16. Ley de equivalencia
( p q ) [( p q ) ( q p )]
( p q ) (q p )
Ing. Civil
51
EJEMPLO
Sin tabla de verdad, y utilizando las propiedades demostrar que:
( p q) p p
Desarrollo:
( p q) p ( p q) ( p F )
Por leyes de identidad
p (q F )
Propiedad distributiva
pF
Por identidad
Por identidad

Ing. Civil
52
EVALUNDONOS
Qu aprendimos?
Cmo lo aprendimos?
Por qu es til lo aprendido?
Ing. Civil
53

1.1 Logica Matematica

Загружено:

Сведения о документе

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

1.1 Logica Matematica

Загружено:

Авторское право:

Доступные форматы

Docente: Ing.

Gustavo Ramrez Zambrano

Se dice que para sacar una

Gustavo Ramrez Zambrano

Cada mano dibuja

Gustavo Ramrez Zambrano

Gustavo Ramrez Zambrano

Son posibles esas imgenes?

Gustavo Ramrez Zambrano

No es una Proposicin; desconocemos x, y, z

Gustavo Ramrez Zambrano

Nota: Tom una taza de caf. Si es una proposicin

6. Alex Rodrguez es mejor jugador de

Gustavo Ramrez Zambrano

Cules son los tipos de proposiciones?

Gustavo Ramrez Zambrano

Si l lo dijo, entonces es cierto.

Maana ser Domingo.

Nota: Maana no ser Domingo.

Gustavo Ramrez Zambrano

Gustavo Ramrez Zambrano

conjuncin p y q: proposicin compuesta que

Disyuncin inclusiva p y q: proposicin

Gustavo Ramrez Zambrano

Disyuncin exclusiva p y q: proposicin

Gustavo Ramrez Zambrano

negacin de p : proposicin formada al escribir

si p entonces q: proposicin compuesta

Gustavo Ramrez Zambrano

p si y slo si q : proposicin compuesta

A y B son lgicamente equivalentes:

son lgicamente equivalentes si tienen tablas de

Gustavo Ramrez Zambrano

Cuantificadores universales: todo, cada uno, todos, ninguno

Cuantificadores existenciales: hay, al menos uno

Sin embargo, aunque, tambin, pero, adems, a la vez,

o, o slo, o solamente, o.., o.

Por consiguiente, puesto que, porque, ya que,

No es cierto que, es falso que, no es el caso que, no, ni,

p si y solo si q, p si y solamente si q, p implica q y q

Uso de conectores lgicos

Hoy estamos a 80F o es martes.

2 ) p q : Hoy no estamos a 80F y es martes.

Uso de conectores lgicos

No es el caso que hoy estemos a

Gustavo Ramrez Zambrano

Escriba con palabras la siguiente proposicin:

Escribe con smbolos la siguiente proposicin:

Gustavo Ramrez Zambrano

Gustavo Ramrez Zambrano

EL ACERTIJO DEL REY

EL ACERTIJO DEL REY

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

Orden de prioridad de los conectores

Nota: p proposicin (1 componente):

Gustavo Ramrez Zambrano

disyuncin p y q: proposicin compuesta que

conjuncin p y q: proposicin compuesta que

Gustavo Ramrez Zambrano