Logica Matematica 1

Lgica Matemtica ISC. Pedro Jess Snchez Snchez MAE Pedro_sanchezs@hotmail.
com
psanchez@bitam.com
Que es la lgica Matemtica

La lgica matemtica es la disciplina que trata de mtodos de razonamiento.
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
NO son Proposiciones: Oraciones exclamativas, interrogativas o imperativas por naturaleza.

Hola La densidad del lodo es 1.35 gr/cm3? Perfora a 100 metros! Orden, instruccin
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
Distintos tipos de Proposiciones

Simples si slo tienen un sujeto, un verbo y un complemento. Compuestas si tienen mas de un sujeto o mas de un verbo. Cerradas si tienen ya determinado el sujeto. Abiertas si todava no lo tienen determinado el sujeto. Afirmativas o Negativas. Segn afirmen o nieguen. Verdaderas o Falsas segn correspondan o no a la realidad, su resultado sea falso o verdadero.
Pedro Snchez
| Octubre 2011
| 9:37 PM
Distintos tipos de Proposiciones

Simples si slo tienen un sujeto, un verbo y un complemento. El pozo es profundo Compuestas si tienen mas de un sujeto o mas de un verbo. El pozo es profundo y productivo Cerradas si tienen ya determinado el sujeto. 5+2 > 8 Abiertas si todava no lo tienen determinado el sujeto. 5x + 2 >8 Afirmativas o Negativas. Segn afirmen o nieguen. Afirmativa: El pozo es profundo Negativa : El pozo NO es profundo Verdaderas o Falsas segn correspondan o no a la realidad, su resultado sea falso o verdadero. Verdadera: 5 + 2 = 7 Falsa: 5 + 2 = 8
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.
Conector lgico El pozo es terrestre y se le inyecta gas natural
Proposicin simple
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
Conectores lgicos en proposiciones compuestas

Y, And (^) conjuncin O, Or, () disyuncin No, Not (, ) Entonces, Then () Condicionales Si slo si, Only if () Bicondicionales
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
Tres vas Desviacin a directa
Desviacin activada.
Desviacin desactivada
Tres vas Desviacin hacia abajo

Desviacin activada.
Vlvula de 3 vas
Pedro Snchez
| Octubre 2011
13
| 9:37 PM
Proposiciones compuestas; combinaciones

s r q p
0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1
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
Obtenemos crudo si encontramos el yacimiento Y tiene presin

p = Obtenemos crudo q = encontramos el yacimiento r = tiene presin El enunciado anterior se puede expresar: p = q ^ r
q 0 0 1 1
r q^r 0 0 1 0 0 0 1 1
Encontramos yacimiento FALSO FALSO VERDADERO VERDADERO
tiene presin FALSO VERDADERO FALSO VERDADERO
Obtenemos crudo FALSO FALSO FALSO VERDADERO
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
p 0 0 1 1 q p^q 0 0 1 0 0 0 1 1
Pedro Snchez
| Octubre 2011
18
| 9:37 PM
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
Incrementar calor FALSO FALSO VERDADERO VERDADERO
Aplicar reductores de viscosidad FALSO VERDADERO FALSO VERDADERO
Reducir viscosidad FALSO VERDADERO VERDADERO VERDADERO
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
Gas natural Nitrgeno 0 0 0 0 0 1 0 1 1 0 1 0 1 1 1 1
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 activada.
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
Vlvula de dos vas, abierta posicin normal
Vlvula de 3 vas, cerrada posicin normal
Vlvula de 3 vas, abierta 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
No es verdad El pozo NO que el pozo no Es profundo es profundo 1 0 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
6.-El pozo NO es gasero
Pedro Snchez
| Octubre 2011
34
| 9:37 PM
Ejercicio con maestro

Se desea bombear gas al pozo Exprese en lenguaje matemtico el diagrama y cree la tabla de verdad Pozo
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
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
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
Condicional vs. BIcondicional

Si concursas entonces ganas una licitacin p q Se gana una licitacin, si y slo si, concursas q p p= concursas q= ganas licitacin
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
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
Condicionales; Recproco = Contrario

Directo: p q Si esta destapado, entonces produce Recproco: q p Si produce entonces esta destapado Contrario: p q Si NO esta destapado, entonces NO produce
0 0 1 1
q 0 1 0 1
Pedro Snchez
p 1 1 0 0
Contrario del Reciproco Directo Contrario Reciproco (contra reciproco) q p q p q qp q p 1 1 1 1 1 0 1 0 0 1 1 0 1 1 0 0 1 1 1 1

| 49 | 9:37 PM
| Octubre 2011
Tabla de verdad bsica

Con ayuda del maestro realice en Excel esta la tabla de verdad y gurdela para futuros ejemplos
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

Para reparar una fisura en el tanque tenemos que vaciarlo y limpiarlo Lo podemos vaciar si y solo si tenemos capacidad en otros tanques para almacenar el crudo que tiene el tanque daado y tubera que de algn modo llegue al tanque destino o podemos usar pipas y un mtodo para bombear de la pipa al tanque destino
Pedro Snchez
| Octubre 2011
54
| 9:37 PM

En un pozo de bombeo mecnico Para tener el mecanismo de bombero operando pueden comprar un nuevo motor de bombeo mecnico o pueden reparar el motor daado que consiste en comprar una pieza e (y) contratar especialistas para instalarlo. El pozo produce si y solo si se tiene el mecanismo funcionando o se le inyecta vapor de agua. Realice la tabla de verdad y tome una decisin en base a los costos Costos: Motor nuevo ya instalado = $150 con una vida til de 4 aos Comprar pieza = $30 con una vida til de 1 ao Contratar especialistas = $10 por evento Costo por NO Producir el pozo = $25 por ao Costo inyeccin de vapor agua = $50 por ao Ingresos por produccin de pozo = $600 por ao
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
Extra fuera del plan de estudios

Adems de los operadores bsicos (And, Or y Not) existe el operador Xor, cuyo funcionamiento es semejante al operador Or con la diferencia de que su resultado es verdadero solamente si una de las proposiciones es cierta, y cuando ambas son verdad, el resultado es falso. Con ayuda de los operadores bsicos se pueden formar los operadores compuestos Nand (combinacin de los operadores Not y And), Nor (combina operadores Not y Or) y Xnor (resultado de Xor y Not).
Pedro Snchez
| Octubre 2011
57
| 9:37 PM
Verdad lgica o Tautologa

Es una proposicin que siempre es verdad no importando los valores de los enunciados que lo componen p p = Verdadero (p^q)p = Verdadero
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
Leyes de la lgica proposicional

Usando la hoja de excel compruebe que: pq = pq
0 0 1 1
q 0 1 0 1
p 1 1 0 0
pq 1 1 0 1
p q 1 1 0 1
Leyes de la lgica proposicional Conmutativa

Usando la hoja de excel compruebe que: (pvq)=(qvp) (p^q)=(q^p)
Pedro Snchez
| Octubre 2011
62
| 9:37 PM
Leyes de la lgica proposicional Asociativa

Usando la hoja de excel compruebe que: (pvq)vr=pv(qvr) (p^q)^r=p^(q^r)
Pedro Snchez
| Octubre 2011
63
| 9:37 PM
Leyes de la lgica proposicional Distributivas

Usando la hoja de excel compruebe que: pv(q^r)= (pvq)^(pvr) p^(qvr)=(p^q)v(p^r)
Pedro Snchez
| Octubre 2011
64
| 9:37 PM
Leyes de la lgica proposicional Idempotencia

Usando la hoja de excel compruebe que: (pvp)=p (p^p)=p
Pedro Snchez
| Octubre 2011
65
| 9:37 PM
Leyes de la lgica proposicional Morgan

Usando la hoja de excel compruebe que:
( p v q ) = p ^ q ( p ^ q ) = p v q
Pedro Snchez
| Octubre 2011
66
| 9:37 PM
Leyes de la lgica proposicional Identidad

Usando la hoja de excel compruebe que: ( p v p ) = Verdadero ( p ^ p ) = Falso ( p ^ Verdadero) = p ( p v Falso ) = p ( p v Verdadero ) = Verdadero
Pedro Snchez
| Octubre 2011
67
| 9:37 PM
Leyes de la lgica proposicional Implicacin

Usando la hoja de excel compruebe que: (p q) = (p q) ^ (q p) (p q) = ( q p) (q p) = ( p q) (p q) = ( p v q)
Pedro Snchez
| Octubre 2011
68
| 9:37 PM
Modus tollendo tollens

Modus tollendo tollens (del latn, modo que negando niega) pq = qp
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
Ejercicio; Modus tollendo tollens

Las vlvulas de la izquierda estn daadas, acomode las vlvulas de la derecha para que tengan el mismo comportamiento que las de la izquierda Compresor p Compresor
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
Pozo
Leyes de la lgica proposicional

Usando la hoja de excel compruebe que: (p^q) = pq
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

Logica Matematica 1

Caricato da

Informazioni sul documento

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Logica Matematica 1

Caricato da

Copyright:

Formati disponibili

Lgica Matemtica ISC. Pedro Jess Snchez Snchez MAE Pedro_sanchezs@hotmail.

Que es la lgica Matemtica

NO son Proposiciones: Oraciones exclamativas, interrogativas o imperativas por naturaleza.

Distintos tipos de Proposiciones

Distintos tipos de Proposiciones

Conector lgico El pozo es terrestre y se le inyecta gas natural

Conectores lgicos en proposiciones compuestas

Tres vas Desviacin a directa

Tres vas Desviacin hacia abajo

Proposiciones compuestas; combinaciones

Obtenemos crudo si encontramos el yacimiento Y tiene presin

Encontramos yacimiento FALSO FALSO VERDADERO VERDADERO

tiene presin FALSO VERDADERO FALSO VERDADERO

Obtenemos crudo FALSO FALSO FALSO VERDADERO

Incrementar calor FALSO FALSO VERDADERO VERDADERO

Aplicar reductores de viscosidad FALSO VERDADERO FALSO VERDADERO

Reducir viscosidad FALSO VERDADERO VERDADERO VERDADERO

Gas natural Nitrgeno 0 0 0 0 0 1 0 1 1 0 1 0 1 1 1 1

Tres vas Desviacin a directa

Tres vas Desviacin hacia abajo

Tres vas Desviacin a directa

Tres vas Desviacin hacia abajo

Tres vas Desviacin hacia abajo

Tres vas Desviacin a directa

Vlvula de dos vas, abierta posicin normal

Vlvula de 3 vas, cerrada posicin normal

Vlvula de 3 vas, abierta posicin normal

No es verdad El pozo NO que el pozo no Es profundo es profundo 1 0 0 1

6.-El pozo NO es gasero

Ejercicio con maestro

Condicional vs. BIcondicional

Condicionales; Recproco = Contrario

Contrario del Reciproco Directo Contrario Reciproco (contra reciproco) q p q p q qp q p 1 1 1 1 1 0 1 0 0 1 1 0 1 1 0 0 1 1 1 1

Tabla de verdad bsica

Ejercicio con maestro

Ejercicio con maestro

Extra fuera del plan de estudios

Verdad lgica o Tautologa

Leyes de la lgica proposicional

Leyes de la lgica proposicional Conmutativa

Leyes de la lgica proposicional Asociativa

Leyes de la lgica proposicional Distributivas

Leyes de la lgica proposicional Idempotencia

Leyes de la lgica proposicional Morgan

Leyes de la lgica proposicional Identidad

Leyes de la lgica proposicional Implicacin

Modus tollendo tollens

Ejercicio; Modus tollendo tollens

Leyes de la lgica proposicional

Potrebbero piacerti anche