Escolar Documentos
Profissional Documentos
Cultura Documentos
com
psanchez@bitam.com
En un nivel elemental, la lgica proporciona reglas y tcnicas para determinar si es o no valido un argumento dado. El razonamiento lgico se emplea en matemticas para demostrar teoremas; en ciencias de la computacin para verificar si son o no correctos los programas; en las ciencias fsica y naturales, para sacar conclusiones de experimentos; y para resolver una multitud de problemas.
Pedro Snchez
| Octubre 2011
| 9:37 PM
Aplicacin
Anlisis de circuitos de tuberas Anlisis y confiabilidad de sistemas mediante rboles lgicos. Aplicaciones de factibilidad a problemas de planeacin Anlisis de costos.
Pedro Snchez
| Octubre 2011
| 9:37 PM
Proposiciones o enunciados
Si son Proposiciones: Una oracin declaratoria (o afirmacin) que es falsa o verdadera, pero no ambas.
Hoy es viernes El pozo es productivo La profundidad del pozo es mayor a 300 metros 3+4= 6 La densidad del lodo es 1.35 gr/cm3
Pedro Snchez
| Octubre 2011
| 9:37 PM
Ejemplos
p: El pozo <Nombre> se encuentra en Poza Rica. q: 10 - 6 = 9 r: 2x -3 > 7 s: El precio de la mMp bajar de precio en diciembre. t: Hola cmo ests? u: arregla esa maquina! Los enunciados p y q son validos; pueden tomar un valor de verdadero o falso en este momento.
r tomar un valor verdadero o falso cuando se determine x s tomar un valor verdadero o falso en diciembre Ambas son indeterminadas por el momento; abiertas
t y u no son proposiciones validas Como pueden ver se usan las letras p,q,r,s, para nombrar las proposiciones
Pedro Snchez | Octubre 2011 | 5 | 9:37 PM
Pedro Snchez
| Octubre 2011
| 9:37 PM
Proposiciones compuestas
Una proposicin es compuesta cuando se forma por la combinacin de dos o ms proposiciones simples conectadas usando operadores lgicos. Una proposicin compuesta slo puede tener uno de dos valores: verdadero falso. El valor total de la proposicin depender del valor independiente de las proposiciones simples que la compongan; y del operador lgico u operadores lgicos que las relacionen.
Proposicin simple
Pedro Snchez | Octubre 2011 | 8 | 9:37 PM
Proposiciones compuestas
El pozo es terrestre y se le inyecta gas natural Hoy encontraremos petrleo o agua = Hoy encontraremos petrleo o Hoy encontraremos agua = Hoy encontraremos petrleo u Hoy encontraremos agua Si trabajamos entonces nos pagan Encontraremos petrleo si y solo si perforamos El crudo No es liviano
Pedro Snchez
| Octubre 2011
| 9:37 PM
Pedro Snchez
| Octubre 2011
10
| 9:37 PM
Tablas de verdad
Una tabla de verdad, o tabla de valores de verdad, es una tabla que muestra el valor de verdad de una proposicin compuesta, para cada combinacin de valores de verdad que se pueda asignar a sus componentes. (fuente: wikipedia) En las tablas de verdad se expresan los 2 posibles valores como: Verdadero: 1, V , True, T Activado, Encendido Permite el flujo de aire, agua, electricidad, etc. Falso 0 , F , False Desactivado, Apagado NO Permite el flujo de aire, agua, electricidad, etc.
Pedro Snchez
| Octubre 2011
11
| 9:37 PM
Tablas de verdad
Vlvula Verdadero Falso
Vlvula
Abierto
Cerrado
Desviacin activada.
Desviacin desactivada
Desviacin activada.
Desviacin desactivada
Vlvula de 3 vas
Pedro Snchez
| Octubre 2011
13
| 9:37 PM
En donde 0 es falso y 1 verdadero Si solo tenemos una proposicin solo puede tener 2 combinaciones Si tenemos 2 puede tomar 4 combinaciones Si tenemos 3 puede tomar 8 combinaciones En sntesis Numero de combinaciones = 2n
Propociciones Combinaciones 1 2 2 4 3 8 4 16 5 32 6 64
Pedro Snchez
| Octubre 2011
14
| 9:37 PM
Crear combinaciones
Cree en excel las combinaciones para 6 variables (p, q, r, s, t, u) y tngala a la mano para futuros ejercicios.
Pedro Snchez
| Octubre 2011
15
| 9:37 PM
Conjuncin, Y, and, ^
Se utiliza para conectar dos o mas proposiciones que se deben cumplir (todas tienen que ser verdaderas) para que se pueda obtener un resultado verdadero. Se le conoce como multiplicacin lgica
q 0 0 1 1
r q^r 0 0 1 0 0 0 1 1
Pedro Snchez | Octubre 2011 | 16 | 9:37 PM
Conjuncin, Y, and, ^
Encontramos yacimiento FALSO FALSO VERDADERO VERDADERO Tiene presin FALSO VERDADERO FALSO VERDADERO Obtenemos crudo FALSO FALSO FALSO VERDADERO Intepretacin No encontramos el yacimiento y no tiene presin; No obtuvimos crudo No encontramos el yacimiento si tenia presin; No obtuvimos el crudo Encontramos el yacimiento pero no tiene presin Lo encontramos y tiene presin; SI obtuvimos el crudo
Recuerden que para que la proposicin resultante sea verdadera todas las proposiciones que la conforman tienen que ser verdaderas.
Dicho de otra forma: con que una de las proposiciones que la componen sea falsa le proposicin resultante ser falsa.
Pedro Snchez
| Octubre 2011
17
| 9:37 PM
Conjuncin, Y, and, ^
p 0 0 1 1 q p^q 0 0 1 0 0 0 1 1
Pedro Snchez
| Octubre 2011
18
| 9:37 PM
Conjuncin, Y, and, ^
Sinnimos de Y que puede encontrarse en oraciones Adems Sin embargo Tambin A la vez Fluye si abrimos la vlvula p y la vlvula q Fluye si abrimos la vlvula p adems de la vlvula q Fluye si abrimos la vlvula p; tambin la q
Pedro Snchez
| Octubre 2011
19
| 9:37 PM
Conjuncin, Y, E , and, ^
Para funcionar requiere que exista flujo de combustible y oxigeno y electricidad. P = Funcionar q = Combustible r = Oxigeno s = Electricidad El enunciado anterior se puede expresar: p = q ^ r ^ s
q 0 0 0 0 1 1 1 1 r 0 0 1 1 0 0 1 1
Pedro Snchez
s 0 1 0 1 0 1 0 1
| Octubre 2011 |
q^r^s 0 0 0 0 0 0 0 1
20 | 9:37 PM
Combustible Oxigeno 0 0 0 0 0 1 0 1 1 0 1 0 1 1 1 1
Electricidad 0 1 0 1 0 1 0 1
Funciona 0 0 0 0 0 0 0 1
Disyuncin, O, OR, v
Con este operador se obtiene un resultado verdadero cuando alguna de las proposiciones es verdadera. Se conoce como suma lgica. Para reducir la viscosidad podemos incrementar el calor o aplicar reductores de viscosidad P = Reducir viscosidad q = incrementamos calor r = aplicar reductores de viscosidad El enunciado anterior se puede expresar: p = q r Si 0 es Falso y 1 es Verdadero
q 0 0 1 1
r qr 0 0 1 1 0 1 1 1
Pedro Snchez | Octubre 2011 | 21 | 9:37 PM
Disyuncin, O, OR, v
Incrementar calor FALSO FALSO VERDADERO VERDADERO Aplicar reductores de Reducir viscosidad viscosidad FALSO VERDADERO FALSO VERDADERO
Interpretacin No aplicamos calor o reductor entonces no se redujo FALSO la viscosidad Aplicamos reductor de viscosidad fue suficiente para VERDADERO reducir la viscosidad del crudo Aplicamos calor fue suficiente para reducir la VERDADERO viscosidad del crudo Aplicamos ambos; definitivamente se reduce la VERDADERO viscosidad
Recuerden que para que la proposicin resultante sea verdadera al menos una de las proposiciones que la conforman tienen que ser verdaderas. Dicho de otra forma: solo cuando todas las proposiciones que la componen sea falsa le proposicin resultante ser falsa.
Pedro Snchez
| Octubre 2011
22
| 9:37 PM
Disyuncin, O, OR, v
p 0 0 1 1 q pq 0 0 1 1 0 1 1 1 p
p q
Pedro Snchez
| Octubre 2011
23
| 9:37 PM
Disyuncin, O, OR, v
Para incrementar la presin bombeamos gas natural o nitrgeno o vapor de agua P = Incrementar la presin q = bombeamos gas natural r = bombeamos nitrgeno s= bombeamos vapor de agua El enunciado anterior se puede expresar: p = q r s
q 0 0 0 0 1 1 1 1 r 0 0 1 1 0 0 1 1
Pedro Snchez
s 0 1 0 1 0 1 0 1
qrs 0 1 1 1 1 1 1 1
| 24 | 9:37 PM
Vapor Agua 0 1 0 1 0 1 0 1
Incrementar presin 0 1 1 1 1 1 1 1
| Octubre 2011
No, Not, ,
Su funcin es negar la proposicin. Esto significa que s alguna proposicin es verdadera y se le aplica el operador NO se obtendr su negacin (falso) y viceversa. P= El pozo es Productivo P = El pozo NO es productivo En un mismo momento ambas no pueden ser verdaderas En un mismo momento ambas no pueden ser falsas P y P nunca tienen el mismo valor en un momento dado p 0 1
No productivo
1 0
Productivo 0 1
1 0
Pedro Snchez
| Octubre 2011
25
| 9:37 PM
No, Not, ,
Sinnimos de NO: No es cierto que .. No es verdad que Es falso que No es el caso que No sucede que. P= El pozo es terrestre P = El pozo NO es terrestre P = Es falso que el pozo es terrestre P = No es verdad que el pozo es terrestre
p 0 1
Pedro Snchez
1 0
| Octubre 2011 | 26 | 9:37 PM
terrestre 0 1
No terrestre
1 0
No, Not, ,
EL pozo NO es profundo P = El pozo NO es profundo P = El pozo es profundo
p 0 1
1 0
No es profundo 0 1
Es profundo
1 0
Pedro Snchez
| Octubre 2011
27
| 9:37 PM
Tablas de verdad
Vlvula P P
Vlvula
Abierto
Cerrado
Desviacin activada.
Desviacin desactivada
Desviacin activada.
Desviacin desactivada
Tablas de verdad
P P
Qu pasa si se remplaza una vlvula normalmente abierta por una normalmente cerrada? Y una normalmente cerrada por una normalmente abierta?
Pedro Snchez
| Octubre 2011
29
| 9:37 PM
Vlvulas neumticas
Smbolo Descripcin Vlvula de dos vas, cerrada posicin normal
Pedro Snchez
| Octubre 2011
30
| 9:37 PM
Pedro Snchez
| Octubre 2011
31
| 9:37 PM
Doble negacin
P=P P= El pozo es profundo P = El pozo NO es profundo P = No es verdad que el pozo NO es profundo
p 0 1
1 0
0 1
El pozo Es profundo 0 1
Pedro Snchez
| Octubre 2011
32
| 9:37 PM
3 leyes de Aristteles
Identidad: P=P Lo uno o lo otro: P=Verdadero o P=Falso; P no puede ser verdadera y falsa al mismo tiempo. Ley de la contradiccin: P No puede ser verdadera P
p 0 1
1 0
Productivo 0 1
No productivo
1 0
Pedro Snchez
| Octubre 2011
33
| 9:37 PM
Ejercicio
Exprsese los enunciados y realic las siguientes tabla de verdad 1.-El pozo es productivo y profundo 2.-Para reparar la maquina compramos la pieza nueva o la tomamos de otra maquina. 3.-En el campo tenemos camionetas y retro excavadoras y casas rodantes 4.-Los ingenieros viven en hotel o en el campamento o en su casa 5.-La maquina NO funciona
Pedro Snchez
| Octubre 2011
34
| 9:37 PM
Compresor
Compresor
Pedro Snchez
| Octubre 2011
35
| 9:37 PM
Ejercicio
Se desea bombear todo el contenido del tanque A hasta el tanque D, los tanques B y C se encuentran vacos. Exprese en lenguaje matemtico el enunciado del diagrama y haga la tabla de verdad
Pedro Snchez
| Octubre 2011
36
| 9:37 PM
Bicondicional
Sean p y q dos proposiciones. Una doble implicacin o proposicin es bicondicional cuando p es verdadera si y solo si q es tambin verdadera. O bien p es falsa si y slo si q tambin lo es. Se indica de la siguiente manera: p q (se lee "p si y slo si q) Es verdadera solo cuando p=q
p
0 0 1 1
q 0 1 0 1
pq 1 0 0 1
Pedro Snchez
| Octubre 2011
37
| 9:37 PM
0 0 1 1
q 0 1 0 1
pq 1 0 0 1
Bicondicional
Pedro Snchez
| Octubre 2011
38
| 9:37 PM
Bicondicional
Pedro Snchez
| Octubre 2011
39
| 9:37 PM
BIcondicional
Una empresa puede perforar, si y slo si, tiene permiso del gobierno p= puede perforar. q = tiene permiso de gobierno. pq
q 0 1 0
pq 1 0 0
Interpretacin
NO pudo perforar porque NO tiene permiso; la proposicin es verdadera. NO la dejaron perforar aun que SI tiene permiso; la proposicin es falsa.
Perforo sin tener permiso; la proposicin es falsa Una empresa puede perforar y tiene permiso; la proposicin es verdadera.
0 0 1
1
Pedro Snchez | Octubre 2011 |
1
40
| 9:37 PM
Condicionales; implicacin
Una implicacin o proposicin condicional, es aquella que est formada por dos proposiciones simples (o compuesta) p y q. Se indica de la siguiente manera: p q (se lee "si p entonces q") La premisa o antecedente es p y la conclusin o consecuente es q Es falsa solo cuando la premisa es verdadera y la conclusin es falsa
p 0 0 1
q 0 1 0
pq 1 1 0
Pedro Snchez
| Octubre 2011
41
| 9:37 PM
Condicionales; implicacin
p 0 0 1 1 q 0 1 0 1
p
pq 1 1 0 1
q
Pedro Snchez
| Octubre 2011
42
| 9:37 PM
Condicionales; implicacin
Un jefe dijo: Si encontramos crudo entonces les pagare p= encontramos crudo q = Les pagare pq
q 0
pq 1
Interpretacin
No se encontr crudo y no pagaron entonces el jefe dijo la verdad. No se encontr crudo y si se pago por otro motivo (por bonitos, porque fueron, por lindas gentes), dijo la verdad Encontraron crudo y no pagaron; el jefe minti Encontraron crudo y pagaron; el jefe dijo la verdad
0 1 1
1 0 1
1 0 1
Pedro Snchez
| Octubre 2011
43
| 9:37 PM
0 0 1 1
q 0 1 0 1
pq 1 1 0 1
qp 1 0 0 1
Pedro Snchez
| Octubre 2011
44
| 9:37 PM
Condicionales; implicacin
Si el crudo tiene baja viscosidad entonces se podr bombear p= crudo tiene baja viscosidad q = se podr bombear p q (se lee "si p entonces q")
0 0
q 0 1
pq 1 1
Interpretacin
No tiene baja viscosidad y no se pudo bombear No tiene baja viscosidad y se bombeo; se le aplico un reductor de viscosidad , tienen una bomba mas potente, u algn otro mtodo Tiene baja viscosidad y no se pudo bombear; la proposicin es falsa Es de baja viscosidad y se bombeo; la proposicin es verdadera
1 1
0 1
0 1
Pedro Snchez
| Octubre 2011
45
| 9:37 PM
Ejercicio
Haga una tabla de verdad y ponga la interpretacin Si ahorro entonces me podr comprar una camioneta en tres aos.
pq
Interpretacin
Pedro Snchez
| Octubre 2011
46
| 9:37 PM
Condicionales; contrario
Dada el condicionamiento directo p q ("si p entonces q") A la expresin p q (si no p entonces no q) se le llama contrario Directo: p q Si esta tapado, entonces lo destapamos Contrario: p q Si NO esta tapado, entonces NO lo destapamos
0 0 1 1
q 0 1 0 1
p 1 1 0 0
q 1 0 1 0
p q p q 1 1 0 1 0 1 1 1
Pedro Snchez
| Octubre 2011
47
| 9:37 PM
Condicionales; recproco
Dada el condicionamiento directo p q ("si p entonces q") A la expresin q p (si q entonces p) Directo: p q Si esta destapado, entonces produce Recproco: q p Si produce entonces esta destapado
0 0 1 1
q 0 1 0 1
pq 1 1 0 1
qp 1 0 1 1
Pedro Snchez
| Octubre 2011
48
| 9:37 PM
0 0 1 1
q 0 1 0 1
Pedro Snchez
p 1 1 0 0
| Octubre 2011
P F F V V
Q F V F V
P V V F F
PQ F F F V
PQ PQ F V V V V F V V
PQ V F F V
Pedro Snchez
| Octubre 2011
50
| 9:37 PM
Combinando
Para reducir la viscosidad; compramos reductor de viscosidad y lo aplicamos o agregamos calor. p = Para reducir la viscosidad q= comprar reductor de viscosidad r = aplicar reductor de viscosidad s = agregamos calor p= (q ^ r) s
q 0 0 0 0 1 1 1 1
Pedro Snchez
0 0 1 1 0 0 1 1
| Octubre 2011 | 51
s 0 1 0 1 0 1 0 1
| 9:37 PM
(q ^ r)
(q ^ r) s
Combinando
Se le otorga 151 grados API si y solo si el crudo es extra ligero Y tiene el poder calrico de 11,000 Kcal/Kg. p = Se le otorga 151 grados API q= El crudo es extra ligero r = tiene poder calrico de 11,000 Kcal/Kg p (q ^ r)
p 0 0 0 0 1 1 1 1
Pedro Snchez
0 0 1 1 0 0 1 1
| Octubre 2011 | 52
r 0 1 0 1 0 1 0 1
| 9:37 PM
(q ^ r)
p (q ^ r)
Combinados
Representar simblicamente el enunciado: "Si no pago la luz, entonces me cortarn la corriente elctrica. Y Si pago la luz, entonces me quedar sin dinero o pedir prestado. Y Si me quedo sin dinero y pido prestado, entonces no podr pagar la deuda, si y slo si soy desorganizado" Solucin p: Pago la luz. q: Me cortarn la corriente elctrica. r: Me quedar sin dinero. s: Pedir prestado. t: Pagar la deuda. w: Soy desorganizado.
Pedro Snchez
| Octubre 2011
53
| 9:37 PM
Pedro Snchez
| Octubre 2011
54
| 9:37 PM
Pedro Snchez
| Octubre 2011
55
| 9:37 PM
Ejercicio
Represente simblicamente el enunciado y haga la tabla de verdad Para extraer el crudo se requiere encontrar el yacimiento y perforar con maquinaria. Para encontrar el yacimiento se requiere conocimientos de geologa y tiempo o mucha suerte para encontrarlo pronto. Tienes conocimientos de geologa si y solo si estudias y No repruebas los exmenes.
Pedro Snchez
| Octubre 2011
56
| 9:37 PM
Pedro Snchez
| Octubre 2011
57
| 9:37 PM
Pedro Snchez
| Octubre 2011
58
| 9:37 PM
Contingencia
Son las proposiciones que pueden ser falsas o verdaderas dependiendo de los valores de verdad de las proposiciones que lo componen. p^q = ? pq =?
Pedro Snchez
| Octubre 2011
59
| 9:37 PM
Contradicciones
Son las proposiciones que siempre son falsas sin importar los valores de las proposiciones que la componen p ^ p = Falso
Pedro Snchez
| Octubre 2011
60
| 9:37 PM
0 0 1 1
Pedro Snchez | Octubre 2011 | 61 | 9:37 PM
q 0 1 0 1
p 1 1 0 0
pq 1 1 0 1
p q 1 1 0 1
Pedro Snchez
| Octubre 2011
62
| 9:37 PM
Pedro Snchez
| Octubre 2011
63
| 9:37 PM
Pedro Snchez
| Octubre 2011
64
| 9:37 PM
Pedro Snchez
| Octubre 2011
65
| 9:37 PM
( p v q ) = p ^ q ( p ^ q ) = p v q
Pedro Snchez
| Octubre 2011
66
| 9:37 PM
Pedro Snchez
| Octubre 2011
67
| 9:37 PM
Pedro Snchez
| Octubre 2011
68
| 9:37 PM
0 0 1 1
Pedro Snchez
q 0 1 0 1
| Octubre 2011 | 69
p 1 1 0 0
| 9:37 PM
q 1 0 1 0
pq 1 1 0 1
q p 1 1 0 1
q
p 0 0 1 1 q 0 1 0 1 pq 1 1 0 1 p 0 q 0 qp
0
1 1
1
0 1
Pozo
Pedro Snchez | Octubre 2011 | 70 | 9:37 PM
Pozo
Pedro Snchez
| Octubre 2011
71
| 9:37 PM
Ley de Implicacin
Usando la hoja de excel compruebe que: pq = pq
Compresor p Compresor p
q q
p 0 0 1 1 q 0 1 0 1 pq 1 1 0 1 p 0 q 0 pq
0
1 1
1
0 1
Pozo Pozo
Pedro Snchez | Octubre 2011 | 72 | 9:37 PM