Professional Documents
Culture Documents
1
Índice
2
3.1.8 Demostración formal (directa, por contradicción) .................................................................. 45
Demostración por contradicción................................................................................................... 47
3.2. LOGICA DE PREDICADOS ............................................................................................................ 50
EJEMPLOS: ................................................................................................................................. 51
EJERCICIOS................................................................................................................................. 51
3.2.1 CUANTIFICADORES ................................................................................................................... 55
EJEMPLOS ...................................................................................................................................... 56
EJERCICIOS PROPUESTOS POR EL ALUMNO .............................................................................. 59
3.2.2 REPRESENTACION Y EVALUACION DE PREDICADOS ................................................................ 60
Ejemplos de predicados cuantificados: ..................................................................................... 61
3.3 ALGEBRA DECLARATIVA .............................................................................................................. 65
3.4 INDUCCION MATEMATICA .......................................................................................................... 68
EJEMPLOS .................................................................................................................................. 69
3.5 APLICACIÓN DE LA LOGICA MATEMATICA EN LA COMPUTACION. ............................................ 72
EJEMPLOS .................................................................................................................................. 72
3
3.1 LÓGICA PROPOSICIONAL
DISYUNCIÓN
4
Ejemplos:
1 p =” El numero 2 es par”
q =” la suma de 2 + 2 es 4″
Entonces…
2 q =” El numero 3 es par″
Entonces…
p=”Está lloviendo”
3 q=”es de noche”
Entonces…
5
P=”es blanco el teléfono”
Q=”es amarillo”
Entonces…
p v q: “es blanco o es amarillo”
6
CONJUNCIÓN
EJEMPLOS
Entonces…
7
P=”el número más grande es el 12”
Entonces…
Entonces…
P= “Roberto es mi amigo”
Entonces…
P= “Gary es un caracol”
Q= “es un crustáceo”
Entonces…
P= “Karla es mi amiga”
Q=” vive en cacahoatan”
Entonces…
8
P ^ q:” Karla es mi amiga y vive en cacahoatan
NEGACIÓN
Ejemplos:
p: “4 + 4 es igual a 9”
1 -p: “4 + 4 no es igual a 9″
p=”está lloviendo”
3 -p=” no está lloviendo”
P=” 5 x 2 = 12”
-p=” 5 x 2 = no es 12”
9
p=”mi carro es un Mustang”
-p=” mi carro no es un Mustang”
CONDICIONAL
10
Ejemplos:
p: “llueve”
q: “hay nubes”
p: “Hoy es miércoles”
11
BICONDICIONAL
EJEMPLOS:
q: “6 es un número primo”
p=” Saldrás”
q=” acabaste tu tarea”
p ↔ q: Saldrás si y solo si acabaste tu tarea
12
p: "La Tierra es esférica":
q: "El Sol es una estrella":
p ↔ q:"La Tierra es esférica si y sólo si el Sol es una estrella
13
p: "El Bernesga pasa por León":
q: "Napoleón escribió el Quijote":
p ↔ q:"El Bernesga pasa por León si y sólo si Napoleón escribió el
Quijote"
DISYUNCIÓN
CONJUNCIÓN
14
NEGACIÓN
CONDICIONAL
BICONDICIONAL
15
3.1.1 TAUTOLOGIAS
16
EJEMPLOS DE EQUIPO:
(p v q) (P v -q)
P q p v q p q p v -q
V V V V V V V V V F
V F V V F V F V V V
F V F V V
F F F V F
(p ^ q) → (~p ˅ q)
p q p ^ q → ~p ˅ Q
F F F F F V V V F
F V F F V V V V V
V F V F F V F F F
V V V V V V F V V
17
(p ^ q) → (p ˅ ~q)
p q p ^ q → p ˅ ~q
F F F F F V F V V
F V F F V V F F F
V F V F F V V V V
V V V V V V V V V
(p↔ q) ↔ (p → q)
p q p ↔ q → p → q
F F F V F V F V F
F V F F V V F V V
V F V F F V V F F
V V V V V V V V V
18
(p ↔ q) ↔ (p ↔ q)
p q P ↔ q ↔ p ↔ q
F F F V F V F V F
F V F F V V F F V
V F V F F V V F F
V V V V V V V V V
(p ↔q) → (p ↔q)
p q p ↔ q → p ↔ q
F F F V F V F V F
F V F F V V F F V
V F V F F V V F F
V V V V V V V V V
19
(p ^ q) → (q)
p q p ^ q → q
F F F F F V F
F V F F V V V
V F V F F V F
V V V V V V V
20
EJEMPLO DE CLASE:
P q r -q -r 𝒑 ∧ −𝒒 v −𝒓 q
F F F V V F F F F F
F F V V F F V V V F
F V F F V F V V V V
F V V F F F V V V V
V F F V V V V F F F
V F V V F V V V V F
V V F F V F V V V V
V V V F F F v v V V
EJEMPLOS DE EQUIPO:
( ~𝒑 ∧ ~𝒓) → 𝒒
p q r ~p ^ ~r q
F F F V V V F F
F F V V F F V F
F V F V V V V V
F V v V F F V V
V F F F F V F F
V F V F F F V F
V V F F F V V V
V V V F F F V V
21
(p→~r) ^ (q)
p q r p ~r ^ q
F F F F V V F F
F F V F V F F F
F V F F V V V V
F V V F V F V V
V F F V V V F F
V F V V F F F F
V V F V V V V V
V V V V F F F V
(p ^q) ˅ (~p ˅ q)
p q p ^ q ˅ ~p ˅ q
F F F F F V V V F
F F F F F V V V F
F V F F V V V V V
V V V V V V F V V
V F V F F F F F F
V F V F F F F F F
(p ^ ~r) → (p ^ q)
p q r p ^ ~r p ^ q
F F F F F V V F F F
F F V F F F V F F F
F V F F F V V F F V
V V V V F F V V V V
V F F V V V F V F F
V F V V F F V V F F
(~p → r) → (~q)
p q r ~p r ~q
F F F V F F V V
F F V V V V V V
F V F F V F V F
F V V F V V F F
22
V F F V F F V V
V F V V V V V V
V V F F F F V F
V V V F V V F F
(p Δ q) → (~r)
p q r p Δ q → ~r
F F F F F F V V
F F V F F F V F
F V F F V V V V
F V V F V V F F
V F F V V F V V
V F V V V F F F
V V F V F V V V
V V V V F V V F
(p ↔ r) Δ (~q)
p q r p ↔ r Δ ~q
F F F F V F F V
F F V F F V F V
F V F F V F F F
F V V F F V V F
V F F V F F V V
V F V V V V F V
V V F V F F F F
V V V V V V V F
23
(p Δ r) → (~q)
p q r p Δ r → (~q )
F F F F F F V V
F F V F V V V V
F V F F F F V F
V V V V F V F F
V F F V V F V V
V F V V F V V V
(p↔ r) Δ (~q)
p q r p ↔ r Δ ~q
F F F F V F F V
F F V F F V F V
F V F F V F F F
F V V F F V V F
V F F V F F V V
V F V V V V F V
V V F V F F F F
V V V V V V V F
(p↔ q) → (~p ˅ r)
p q r p ↔ q → ~p ˅ r
F F F F V F V V V F
F F V F V F V V V V
F V F F F V V V V F
F V V F F V V V V V
V F F V F F V F F F
V F V V F F V F V V
V V F V V V F F F F
V V V V V V V F V V
(p → q) ˅ (q Δ r)
p q r p → q ˅ q Δ r
F F F F V F V F F F
F F V F V F V F V V
F V F V V V V V V F
F V V V V V V V F V
V F F F F F F F F F
V F V F F F V F V V
V V F V V V V V V F
V V V V V V V V F V
24
(p Δ q) → (q Δ r)
P q r p Δ q → q Δ r
F F F F F F V F F F
F F V F F F v F V V
F V F F V V v V V F
F V V F V V F V F V
V F F V V F v F F F
V F V V V F v F V V
V V F V F V F V V F
V V V V F V V V F V
(p → r) Δ (r → q)
p q r p → r Δ r → q
F F F F V F F F V F
F F V F V V V V F F
F V F F V F F F V V
F V V F V V F V V V
V F F V F F V F V F
V F V V V V V V F F
V V F V F F V F V V
V V V V V V F V V V
25
3.1.5 EQUIVALENCIAS LOGICAS
Nota:
Esto equivale a decir que P ↔ Q es una tautología; así, P ≡ Q es lo
mismo que decir P ⇔ Q.
EJEMPLOS DE EQUIPO:
26
8. La calle está bien barrida y bien limpia
La calle está bien limpia y bien barrida
13. Las hojas de algunos árboles están bien secas y bien feas
Las hojas de algunos árboles están bien feas y bien secas
27
LEYES DE MORGAN
TRANSPOSICION O CONTRARECIPROCO
28
ELIMINACION DE CONDICIONALES
P → Q ≡~P ∨ Q – A continuación se muestra en su tabla correspondiente:
29
MPP Modus ponendo ponen
A→B
A
–––––
B
EJEMPLOS DE EQUIPO:
30
2. Si hago mi tarea entonces más probable sacare diez.
A (hago mis tareas)
B (saco diez)
3. Si como comida con grasa entonces engordare
A (como comida con grasa)
B (engordare)
31
B (tendré hijos)
12. Si me da sueño entonces no tengo insomnio
A (tengo sueño)
B (no tengo insomnio)
13. Si hago ejercicio entonces no engordare )
A (hago ejercicio)
B (no engordo)
14. Si mis papas me regañan entonces obedezco
A (me regañan)
B (obedezco)
15. Si se cocinar entonces preparo mi comida
A (se cocinar)
B (preparo mi comida)
16. Si obtengo promedio de diez en la escuela entonces obtendré una
beca
A (obtengo diez)
B (obtengo mi beca)
A→B
¬B
–––––
¬A
32
•RESOLUCIÓN: Utiliza refutación para comprobar una determinada sentencia. La
refutación intenta crear una contradicción con la negación de la sentencia original,
demostrando, por lo tanto, que la sentencia original es verdadera. La resolución es
una técnica poderosa para probar teoremas en lógica y constituye la técnica básica
de inferencia en PROLOG, un lenguaje que manipula en forma computacional la
lógica de predicados. La regla de resolución, establece que: Si (A∨ B) es verdadero
y (~B ∨ C) es verdadero, entonces (A ∨ C) también es verdadero.
33
Ejemplos de equipo:
(- B no voy al médico)
(- B no soy rica)
(- B me mojo)
34
8. si Juan tiene hijos entonces ya es papá
(-B no es papá)
35
(-A no tengo nietos)
SD Silogismo Disyuntivo
A∨B
¬A
–––––
¬B
EJEMPLOS DE EQUIPO:
2. los hombres son los que tienen hijos o las mujeres tienen hijos.
(Los hombres no tienen hijos por lo tanto las mujeres tienen hijos)
36
3. los policías apagan el fuego o los bomberos apagan el fuego.
(Los policías no apagan el fuego por lo tanto los bomberos apagan el fuego).
37
(Los zapatos no son para las manos por lo tanto los zapatos son para los
pies).
14. O Daniel platica con su novia o bien escucha música.
(Daniel no platica con su novia por lo tanto estudia)
15. O los policías vana al espacio o los astronautas van al espacio.
(Los policías no van al espacio, por lo tanto los astronautas van al espacio)
SH Silogismo hipotético
A→B
B→C
–––––
A→C
EJEMPLOS DE EQUIPO:
38
Si estoy casada tengo esposo
39
Si hay escuela entonces hay estudiantes
40
Si está lloviendo entonces hay nubes
Pero también puede ser válido con premisas falsas y conclusión verdadera,
o incluso con premisas y conclusión falsas.
Sócrates es un hombre.
41
Si está soleado, entonces es de día.
Está soleado.
Ejemplos de equipo:
Hay estrellas
Seré tía
Ya tiene hijos
Tendría cuñado
Ya tiene novio
Yo soy mujer
42
Todos los maestros son guapo
Mi papa es maestro
Mi maestro es güerito
No ha tenido crías
Entonces es macho
43
Si no es viernes, entonces es sábado
No es viernes
Yo no me maquillo
No está lloviendo
No hay sol
No miro bien
44
3.1.8 Demostración formal (directa, por contradicción)
[p (p Ù r)] Ù [(q Ú s) t] Ù (p Ú s) Þ t
Demostración
1.- p (p Ù r) Hipótesis
2.- (q Ú s) t Hipótesis
3.- p Ú s Hipótesis
45
Significa que si se sabe que p1 es verdadera, p2 es verdadera,…, y pn también es
verdadera, entonces estamos seguros que q es verdadera.
Una demostración directa comienza con las hipótesis, seguidas de las tautologías y
reglas de inferencia necesarias, hasta llegar a la conclusión.
46
Demostración por contradicción.
Pero esto último es una contradicción, por lo que queda demostrado el argumento.
Note que juntamente con las premisas se debe incluir la negación de la conclusión
como premisa adicional, paso 4. En este momento el alumno ya tiene los elementos
para llevar a cabo demostraciones con el apoyo del maestro. Es conveniente
plantear varios enunciados, para que el alumno los represente con simbología lógica
en forma de teorema. Que ese mismo teorema lo represente con su tabla de verdad
y haga la correspondiente demostración por los dos métodos antes mencionados.
47
La forma en que el aprende a aplicar reglas de inferencia es semejante a la manera
en que deberá realizar una factorización o una aplicación de una fórmula en cálculo
diferencial o integral o la fórmula que debe aplicar para resolver un problema en
física. Lo que debe aprender es a relacionar los distintos conocimientos para poder
llegar a la solución. Es importante mencionar que el camino que debe seguir el
alumno no es el mismo que el maestro siguió sino uno distinto pero que ambos
llegan al resultado.
EJERCICIOS
48
49
3.2. LOGICA DE PREDICADOS
mayúsculas,
Símbolos de conectivas:
50
¬ = Negación
∨= Conectiva “o”
∧ = Conectiva “y”
→ = implicación
↔ = Doble implicación o equivalencia
Cuantificadores:
∃=existencial
∀=Universal
EJEMPLOS:
EJERCICIOS
51
52
Ejemplo de deducción:
53
54
3.2.1 CUANTIFICADORES
El cuantificador universal indica que algo es cierto para todos los individuos.
Sea A una expresión y sea x una variable. Si deseamos indicar que A es verdadero
para todos los posibles valores de x, escribiremos (∀x) A.
Cuantificador Existencial
La cuantificación existencial de P(x) “Es la proposición en que existe un elemento x
en el universo de discurso tal que P(x) es verdad”.
EJEMPLOS:
Todos los humanos respiran
55
EJEMPLOS
56
57
58
EJERCICIOS PROPUESTOS POR EL ALUMNO
Hay algún maestro que sea inteligente
ⱻ (x) £ m: p(x)
ⱻ (x) £ f: p(x)
ⱻ (x) £ h: o(x)
ⱻ (x) £ h; m(x)
ⱻ (x) £ i; p(x)
ⱻ (x) £ P; v (x)
ⱻ (x) £ P; p (x)
ⱻ (x) £ n; p (x)
ⱻ (x) £ g; p (x)
59
Existe algún alumno que no repruebe
ⱻ (x) £ a; p (x)
ⱻ (x) £ a; p (x)
ⱻ (x) £ n; p (x)
ⱻ (x) £ m; p (x)
Al igual que las proposiciones, los predicados tienen un valor de veracidad, pero a
diferencia de las preposiciones, su valor de veracidad, depende de sus términos. Es
decir, un predicado puede ser verdadero para un conjunto de términos, pero falso
para otro.
60
conjunto de axiomas que son aceptados como verdaderos, las reglas de inferencia
garantizan que sólo serán derivadas consecuencias verdaderas.
“X...
Establece que “para todo X, es verdad que. . . “
El cuantificador existencial; $, indica que la fórmula bien formada, dentro de su
alcance, es verdadera para algún valor o valores dentro del dominio. Por ejemplo:
$ X...
Establece que “existe un X, tal que. . . “
EJEMPLOS
61
62
1. Hombre (Elias)
2. Pompeyano (Elias)
3. ∀𝑥 (𝑝𝑜𝑚𝑝𝑒𝑦𝑎𝑛𝑜 (𝑥) → 𝑟𝑜𝑚𝑎𝑛𝑜(𝑥))
4. Gobernante (cesar)
5. ∀𝑥 (𝑟𝑜𝑚𝑎𝑛𝑜 (𝑥) → (𝑙𝑒𝑎𝑙(𝑥, 𝑐𝑒𝑠𝑎𝑟) v odia(x, cesar)
6. ∀𝑥 ∋ 𝑦 𝑙𝑒𝑎𝑙 < (𝑥, 𝑦)
7. ∀𝑥 ∀𝑦 (𝑝𝑒𝑟𝑠𝑜𝑛𝑎(𝑥) Λ gobernante (y) Λ intentase (x, y)) → ¬ 𝑙𝑒𝑎𝑙 (𝑥, 𝑦)
8. Intentases (Elias, cesar)
Sea la inferencia:
Si todo es material, entonces hay cosas externas. Pero nada es extenso. Por
consiguiente, hay cosas que no son materiales.
1. si todo es material, entonces hay cosas extensas
2. nada es extenso
Por consiguiente, hay cosas que no son materiales.
a) se determinan las funciones predicativas.
Mx: x es material
Ex: x es extensa
b) se simboliza la inferencia
1. (∀𝑥)𝑀𝑥 → (∋ 𝑥) 𝐸𝑥)
2. (∀𝑥) ~ 𝐸𝑥/ ∴ (∋ 𝑥) ~ 𝑀𝑥
63
c) se ejecuta las derivaciones.
3. ~ (∋ 𝑥) 𝐸𝑥 IC(2)
4 ~ (∀𝑥) 𝑀𝑥 MT (1,3)
5. (∃𝑥) ~ 𝑀𝑥 IC (4)
La inferencia es valida
64
3.3 ALGEBRA DECLARATIVA
Una fórmula en lógica de proposiciones se obtiene al aplicar una ó más veces las
siguientes reglas:
(p Ù ~ ~(p Ù ~ p Þ q ~(p Ù
P q pÞq
q) q) ~ q)
V V V F V V
V F F V F V
F V V F V V
F F V F V V
65
Para esto utilizamos las siguientes equivalencias lógicas:
(A ^ B) ^ C <=> A^ (B ^C)
A ^ ¬ A <=> F
A ^ F <=> F
(p ^ q) ^ ¬q <=> F
Se puede observar que no existe distinción entre la equivalencia lógica y el esquema
que la genera.
Ejemplo
Demostrar que una vez que p ^ q está establecida, se puede concluir q.
Esta demostración se puede hacer de dos formas:
A) Se demuestra que p ^ q → q es una tautológica, es decir p ^ q <=> q.
Demostración
¬p V ¬q V q <=> V
B) Se demuestra que (p ^ q) ^ ¬q <=> F lo que nos lleva a que (p ^ q) ^ ¬q → F debe
ser una tautológica.
EJERCICIOS
66
67
3.4 INDUCCION MATEMATICA
68
EJEMPLOS
69
70
71
3.5 APLICACIÓN DE LA LOGICA MATEMATICA EN LA COMPUTACION.
LÓGICA COMPUTACIONAL
Es la misma lógica matemática aplicada al contexto de las ciencias de la
computación. Su uso es fundamental a varios niveles: en los circuitos
computacionales, en la programación lógica y en el análisis y optimización (de
recursos temporales y espaciales) de algoritmos.
CIRCUITOS COMPUTACIONALES
El nivel menos abstracto dentro de una computadora está constituido por circuitos
electrónicos que responden a diferentes señales eléctricas, siguiendo los patrones
de la lógica booleana; esto es, compuertas lógicas que devuelven un valor
dependiendo de las entradas que se le dan al sistema. Existen ocho compuertas
lógicas básicas con las cuales se pueden formar sistemas muy complejos: AND,
OR, Inverter, Buffer, NAND, NOR, XOR y XNOR. Todas ellas son representadas
mediante un símbolo y una tabla de valores de verdad, que es simplemente un
cuadro donde se ubican todas las posibles entradas y los valores que devolvería la
compuerta dados dichos valores.
Todo sistema computacional, por muy complejo que sea, no está compuesto por
más que circuitos electrónicos que únicamente entienden un lenguaje binario. La
lógica computacional se encarga de modelar y optimizar tales sistemas a este nivel.
EJEMPLOS
72
73
74
75
EJERCIOS PROPUESTOS POR EL ALUMNO
76
77
Conclusión
78