Documentos de Académico
Documentos de Profesional
Documentos de Cultura
CAP3
CAP3
_____________________________________________________________________________________
CAP.3
LÓGICA PROPOSICIONAL
3.1. INTRODUCCION.
Al tratar de la lógica, es muy común utilizar frases como: "Es lógico", "hablando con
lógica", o, "hay que ponerle lógica al asunto", las mismas que pueden ser objetivamente
reemplazadas por expresiones como: "Es correcto", "hablando con corrección", y "hay que
ponerle cuidado y corrección al tema". Por tanto, la lógica trata sobre la corrección, y ésta
se refiere de alguna manera, al pensamiento. Y es en este sentido que los tratadistas
tradicionales definieron la lógica como la ciencia que enseña a pensar correctamente.
Pero debemos distinguir entre el pensamiento como facultad y/o función del pensamiento
como producto. Pues, cuando utilizamos el término "pensamiento" podemos significar,
según las circunstancias, la facultad y/o función o el producto, lo que equivale a distinguir
entre el pensar y lo pensado. Por tanto, la lógica no trata sobre le pensamiento como
facultad y/o función, sino como resultado de la función de pensar, es decir, de lo que
generalmente llamamos en plural: pensamientos.
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
1
SIS 1205 “A” ANALISIS DISCRETO INGENIERIA DE SISTEMAS
_____________________________________________________________________________________
ocupa de las operaciones entre proposiciones, sin tener en cuenta la estructura interna de las
mismas. Las proposiciones lógicas son expresiones que cumplen con una función
informativa, de la cual se puede decir, que sean verdaderas o falsas. Toda proposición
lógica cumple con una función o valor de verdad, ya sea éste verdadero o falso. Las
proposiciones se abstraen o simbolizan mediante las letras proposicionales tales comos p, q,
r, e, ...y las mismas con subíndices de ser necesario. Así por ejemplo:
Entre las formas de utilizar el lenguaje podemos mencionar las siguientes como funciones
básicas:
El discurso informativo es utilizado para describir el mundo y para razonar acerca de él;
pues el lenguaje sirve para suministrar a los demás informaciones, definiendo, declarando,
aclarando, describiendo, etc. los hechos; así, el lenguaje es usado informativamente.
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
2
SIS 1205 “A” ANALISIS DISCRETO INGENIERIA DE SISTEMAS
_____________________________________________________________________________________
El verso no pretende transmitir información alguna, sino expresar ciertas emociones que el
poeta experimenta muy agudamente y anhela despertar en el lector sentimientos similares.
El lenguaje expresivo es utilizado para dar expansión a sentimientos y emociones, o para
comunicarlos.
El discurso expresivo no puede ser ni verdadero ni falso; pues si alguien pretendiera aplicar
tales criterios al discurso expresado en un poema o en un verso, juzgará erróneamente y
perderá mucho de su valor.
Finalmente el lenguaje cumple una función prescriptiva o directiva cuando es utilizado con
el propósito de originar o impedir una acción manifiesta; es el caso de las órdenes y los
pedidos. Se ejerce mediante leyes, decretos, mandatos, ruegos, etc. Quien tiene autoridad
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
3
SIS 1205 “A” ANALISIS DISCRETO INGENIERIA DE SISTEMAS
_____________________________________________________________________________________
Cuando se plantea una pregunta, se pide una respuesta que debe ser emitida. Esto conlleva
que la diferencia entre una orden y un pedido sea bastante sutil, ya que cualquier orden
puede traducirse en un pedido agregando las palabras "por favor" o mediante cambios
adecuados en el tono de voz o en la expresión facial.
Una orden no puede ser verdadera o falsa en ningún sentido literal. Y que la orden sea o no
obedecida, no afecta ni determina su valor de verdad, pues no tiene ningún valor de verdad.
Se puede no estar de acuerdo acerca de si una orden fue o no obedecida, si debe ser o no
obedecida; pero nunca podemos diferir acerca de si una orden es verdadera o falsa, pues
puede no ser ninguna de ambas.
Las órdenes tienen ciertas propiedades que muestran alguna analogía con la verdad o
falsedad del discurso informativo: son las cualidades de ser "razonables" o "adecuadas", y
"no razonables" o "inadecuadas".
Los lenguajes naturales, se construyen como producto de la relación. entre los hombres y su
mundo, los matices, la ambigüedad y vaguedad son el resultado de esta relación. la lengua
natural, heredada, creada, y recreada a través del tiempo, es el instrumento de
comunicación, y una forma de vida.
Los lenguajes artificiales o formales son lenguajes construidos por la cienda,como resultado
de la necesidad de controlar científicamente el mundo.
Es un lenguaje de precisión que formulan con mayor justeza las relaciones entre los objetos
y las ciencias respectivas. El lenguaje científico debe ser objetivo para tener 'consenso
público' dentro de una comunidad científica. La objetividad significa que las
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
4
SIS 1205 “A” ANALISIS DISCRETO INGENIERIA DE SISTEMAS
_____________________________________________________________________________________
Cálculos y juegos se parecen en que son autárquicos, es decir, carecen de otra finalidad que
no sea calcular o jugar. Lo esencial del cálculo es su carácter exclusivamente formal, su
naturaleza puramente sintáctica. No es un lenguaje en tanto medio de comunicación, sino
una pura estructura sintáctica. Sus elementos carecen de significado, son entidades opacas
que se manipulan con una serie de reglas. Sin embargo, un cálculo se puede transformar en
un lenguaje ¿cómo?, interpretando sus simbolos, proporcionando a éstos, un significado. Al
interpretar los simbolos, el cálculo se convierte en un lenguaje, éste no es un lenguaje
natural, sino un lenguaje formalizado, es decir, un lenguaje con estructura de cálculo.Un
lenguaje donde no solo es artificial su vocabulario, sino"también la sintaxis del mismo. A
partir del siglo XIX Boole y Frege (1854-1879) se piensa que la lógica es un lenguaje
formalizado, o un conjunto de cálculos a los que se da una interpretación determinada en el
ámbito de la investigación.
Si se toma como punto de partida de que la Lógica Formal estudia la formalización del
lenguaje natural en un lenguaje formal y los principios de la inferencia valida, entonces un
propósito fundamental en el proceso de formalización del lenguaje natural es la
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
5
SIS 1205 “A” ANALISIS DISCRETO INGENIERIA DE SISTEMAS
_____________________________________________________________________________________
3.5. PROPOSICIONES.
Una proposición es una frase declarativa simple que puede ser verdadera o falsa. Es la
unidad mínima del lenguaje con contenido de información.
Las proposiciones simples o atómicas son aquellas proposiciones que no admiten dentro de
si, más que una sola proposición, así por ejemplo:
En cada uno de estos casos, se trata de una sola proposición, pues “y” no cumple con la
función de unir o de conjunción, sino que cumple con la función de relacionar, como se
verá más adelante en la lógica de predicados. Razón por la cual éstos ejemplos se
simbolizan con la letra 'p'. En cambio si decimos:
La aritmética, el álgebra y la geometría son disciplinas matemáticas
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
6
SIS 1205 “A” ANALISIS DISCRETO INGENIERIA DE SISTEMAS
_____________________________________________________________________________________
En este ejemplo (1) “y” cumple con la función de unir o nexo conjuntivo de las tres
proposiciones.
Las proposiciones compuestas o moleculares son proposiciones que admiten dentro de sí,
dos o más proposiciones; o también, las proposiciones moleculares son aquellas
compuestas por dos o más proposiciones atómicas, relacionadas entre sí mediante
expresiones lingüísticas llamadas conectivas. En el ejemplo último dado, la conectiva que
se ha utilizado es la conjunción.
Dependiendo del tipo de información que se quiera representar, las proposiciones pueden
ser de diferente tipo:
Ej:
- Hace calor.
- Llueve.
- Es viernes.
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
7
SIS 1205 “A” ANALISIS DISCRETO INGENIERIA DE SISTEMAS
_____________________________________________________________________________________
Ej:
- Juan juega futbol.
- La casa es verde.
- Pedro es bueno.
Ej:
- Juan y Pedro son primos.
- Juan esta sentado entre luis y Jaime.
3.6. CONECTIVAS.
las elementos que relacionan unas proposiciones con otras se denominan conectivas
(conectores), pues toda proposición molecular necesariamente está determinada o afectada
por una o varias conectivas.
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
8
SIS 1205 “A” ANALISIS DISCRETO INGENIERIA DE SISTEMAS
_____________________________________________________________________________________
Se puede observar que los elementos (resaltados con mayúsculas) son conectivas porque
relacionan unas proposiciones con otras.
Es importante notar que el elemento NO, en lógica es considerado una conectiva, pues,
aunque no conecta, afecta negativamente tanto a proposiciones atómicas por separado como
a relaciones entre proposiciones. Ello significa que la parte de la lógica que estudia los
diversos modos de relación de las proposiciones en un discurso, sin intentar ingresar en un
análisis de la estructura de las mismas, se denomina lógica proposicional, sentencial o de
enunciados; pues, proposición, sentencia, o enunciado son términos sinónimos.
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
9
SIS 1205 “A” ANALISIS DISCRETO INGENIERIA DE SISTEMAS
_____________________________________________________________________________________
Constituyen el conjunto de símbolos que el lenguaje requiere, el lenguaje para una Lógica
Proposicional requiere tres tipos de símbolos:
Al conjunto de de símbolos para las letras proposicionales se las denota con la letra
P.
Por ejemplo:
P = { p, q , r, s ,t }
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
10
SIS 1205 “A” ANALISIS DISCRETO INGENIERIA DE SISTEMAS
_____________________________________________________________________________________
Observaciones:
Por ejemplo:
r1 P={p, q, r, s, t}
r2 P={p, q, r}
r3 P={a, b, c, d, e, f, g}
Tomando como base el conjunto de símbolos del lenguaje (alfabeto) se debe establecer el
conjunto de reglas para la obtención de formulas bien construidas (fbc) del lenguaje, porque
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
11
SIS 1205 “A” ANALISIS DISCRETO INGENIERIA DE SISTEMAS
_____________________________________________________________________________________
Definición.- Las Formulas Bien Construidas (fbc) del lenguaje proposicional se definen
recursivamente con la aplicación de las siguientes reglas:
1. Toda Letra Proposicional es una formula bien construida del lenguaje. A estas
formulas se las denomina Formulas Atómicas.
2. Si A y B son fórmulas del lenguaje , entonces:
3. Son fórmulas del lenguaje únicamente las obtenidas con la aplicación de las reglas 1
y 2.
El uso adecuado de paréntesis es muy importante para definir las sub estructuras del una
formula.
Por lo tanto:
p ∧ q → r es diferente a (p ∧ q) → r
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
12
SIS 1205 “A” ANALISIS DISCRETO INGENIERIA DE SISTEMAS
_____________________________________________________________________________________
El empleo del alfabeto del lenguaje y de las reglas sintácticas establecidas permiten formar
proposiciones complejas que se las desglosa de la siguiente manera:
Proposiciones conjuntivas:
Donde :
p: Descartes es racionalista.
q: Hume es empirista.
Donde :
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
13
SIS 1205 “A” ANALISIS DISCRETO INGENIERIA DE SISTEMAS
_____________________________________________________________________________________
p: Descartes es idealista.
q: Hume es empirista.
Proposiciones disyuntivas:
pvq
donde:
p: se toman medidas.
q: el riachuelo seguirá contaminado.
p vq
donde:
p: las becas de investigación son para Francia.
q: las becas de investigación son para Alemania.
pvq
donde:
p: la tarifa aérea incluye un viaje de cabotaje a Bariloche.
q: la tarifa aérea incluye un viaje a cataratas.
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
14
SIS 1205 “A” ANALISIS DISCRETO INGENIERIA DE SISTEMAS
_____________________________________________________________________________________
p vq
donde:
p: Descartes es racionalista.
q: Descartes es empirista.
La condición que hace una disyunción verdadera, radica en que siempre al menos uno de
los componentes sea verdadero. Solamente en la disyunción inclusiva también es verdadera
cuando ambos componentes sean verdaderos, en caso contrario es falsa.
Se utilizará la disyunción inclusiva, para todos los ejemplos posteriores, en todos los casos
de disyunción que se encuentren en las operaciones entre proposiciones y/o razonamientos.
Proposiciones condicionales:
las proporciones condicionales presentan una estructura muy peculiar, en la cual los
elementos (antecedentes y consecuentes), que las componen no puedan alterar su ubicación,
pues esto modificaría la función de la misma. En las proposiciones condicionales, la
ubicación de las proposiciones que la componen (antecedentes y consecuente) se determina
por la estructura misma. La única condición que hace un condicional falso, radica en el
caso de un antecedente verdadero y un consecuente falso, por cuanto será verdadero en
todos los otros casos. Así por ejemplo:
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
15
SIS 1205 “A” ANALISIS DISCRETO INGENIERIA DE SISTEMAS
_____________________________________________________________________________________
(q ∧ r) p (1)
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
16
SIS 1205 “A” ANALISIS DISCRETO INGENIERIA DE SISTEMAS
_____________________________________________________________________________________
(p ∧ q) (r ∧ s) (2)
Proposiciones Bicondicionales:
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
17
SIS 1205 “A” ANALISIS DISCRETO INGENIERIA DE SISTEMAS
_____________________________________________________________________________________
(p q) ∧ ( q p)
Así como en las proposiciones condicionales vimos que hay casos de condicionales contra
fácticos, en las proposiciones bicondicionales también se dan las bicondicionales contra
fácticas como por ejemplo:
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
18
SIS 1205 “A” ANALISIS DISCRETO INGENIERIA DE SISTEMAS
_____________________________________________________________________________________
Ejemplo: Definir una función para determinar el número de conectivos que aparecen en una
fórmula ‘A’
numconect(A) = 0
Ya que una fórmula atómica está formada por una letra proposicional.
PROCESO INDUCTIVO.-
-Si A es de la forma ¬B
numconect(A) = 1+numconect(B)
numconect(A)=1+numconect(B)+numconect(C)
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
19
SIS 1205 “A” ANALISIS DISCRETO INGENIERIA DE SISTEMAS
_____________________________________________________________________________________
1 + numconect(p ∧ q)
1 + numconect(p) + numconect( q)
0 0
Numconect (¬(p ∧ q) → r) = 3
Si bien se tiene estructurado en conjunto de reglas de correcta escritura de las formulas del
lenguaje, es con la semántica que se proporciona el significado y el valor de verdad que se
asumirá para los procesos de validación de argumentos.
PROPÓSITO.-
El propósito de la semántica del lenguaje proposicional se puede resumir en los siguientes
aspectos:
- Dar significado a los elementos del lenguaje.
- Definir el concepto de verdad.
- Definir el concepto de consecuencia lógica.
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
20
SIS 1205 “A” ANALISIS DISCRETO INGENIERIA DE SISTEMAS
_____________________________________________________________________________________
Conjunto de significados = {V , F } o {1 , 0}
Todas las letras proposicionales toman valor de dos posibles, es por este motivo que
corresponde a una lógica bi- valente.
c) Letras Proposicionales:
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
21
SIS 1205 “A” ANALISIS DISCRETO INGENIERIA DE SISTEMAS
_____________________________________________________________________________________
Todo lo visto hasta este momento supone que no se ha establecido un valor de verdad para
las diferentes letras proposicionales, es decir, las letras proposicionales solo son
codificaciones de frases declarativas simples que pueden ser verdaderas o falsas, la
definición del concepto de verdad se establece asignando valores de verdad a los elementos
fundamentales del lenguaje, las letras proposicionales.
La asignación de valores de verdad a las letras proposicionales se lleva a cabo por medio de
una función de asignación de valores de verdad, a esta función se la denomina función ‘a’.
a: p → {V,F}
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
22
SIS 1205 “A” ANALISIS DISCRETO INGENIERIA DE SISTEMAS
_____________________________________________________________________________________
Observaciones:
- A una función de asignación de valores de verdad se las denomina también
VALUACIONES.
- Si P contiene n letras proposicionales entonces se tiene 2n valuaciones diferentes.
- Toda letra proposiocional toma 1 valor de 2 posibles.
Una valuación asigna valores de verdad a los elementos atómicos del lenguaje, letras
proposicionales, sin embargo el lenguaje esta conformado por estructuras mas complejas
llamadas formulas que representan información resultante de la combinación de letras
proposicionales y conectivos lógicos. Por lo tanto es importante definir claramente la forma
en que una estructura compleja, una formula, toma un valor de verdad determinado, a este
proceso se lo denomina interpretación de formulas del lenguaje. En resumen la
interpretación de formulas tiene por objetivo:
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
23
SIS 1205 “A” ANALISIS DISCRETO INGENIERIA DE SISTEMAS
_____________________________________________________________________________________
A = (p ∧ ¬q ) → (¬r → ( p ∨ q ))
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
24
SIS 1205 “A” ANALISIS DISCRETO INGENIERIA DE SISTEMAS
_____________________________________________________________________________________
A = (p ∧ ¬q ) → (¬r → 1)
a() = min(a(p),a(¬ q))
a() = 1-a(q)
a() = 1 – 0
a() = min (1,1)
A = 1 → (¬r → 1)
A =1→1
Finalmente:
a(A) = 1
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
25
SIS 1205 “A” ANALISIS DISCRETO INGENIERIA DE SISTEMAS
_____________________________________________________________________________________
La determinación del valor de verdad de una formula para una valuación determinada
aplicando la definición inductiva de la función es un poco larga, es por este motivo que se
puede recurrir a procesos que simplifican dicha evaluación pero aplicando la función
inductiva como sigue:
(p ∧ ¬q ) → (¬ r → (q ∨ q)) = 1
p ∧ ¬q =1 ¬ r →(p ∨ q) =1
p=1 ¬q = 1 ¬r = 0 p ∨ q =1
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
26
SIS 1205 “A” ANALISIS DISCRETO INGENIERIA DE SISTEMAS
_____________________________________________________________________________________
A = (p ∧ ¬q ) → (¬r → ( p ∨ q ))
p q R ¬q ¬r ( p ∨ q ) (p ∧ ¬q ) (¬r → ( p ∨ q ) (p ∧ ¬q ) → (¬r → ( p ∨ q ))
1 1 1 0 0 1 0 1 1
1 1 0 0 1 1 0 1 1
1 0 1 1 0 1 1 1 1
1 0 0 1 1 1 1 1 1
0 1 1 0 0 1 0 1 1
0 1 0 0 1 1 0 1 1
0 0 1 1 0 0 0 1 1
0 0 0 1 1 0 0 0 1
FÓRMULAVÁLIDA.-
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
27
SIS 1205 “A” ANALISIS DISCRETO INGENIERIA DE SISTEMAS
_____________________________________________________________________________________
P Q p→q (p → q) ∧ p ((p → q) ∧ p) → q
V V V V V
V F F F V
F V V F V
F F V F V
FÓRMULA SATISFASCIBLE:
A = (p ∧ (¬r → ( p ∨ q ))
p q R ¬r ( p ∨ q ) (¬r → ( p ∨ q ) (p ∧ (¬r → ( p ∨ q ))
1 1 1 0 1 1 1
1 1 0 1 1 1 1
1 0 1 0 1 1 1
1 0 0 1 1 1 1
0 1 1 0 1 1 0
0 1 0 1 1 1 0
0 0 1 0 0 1 0
0 0 0 1 0 0 0
FÓRMUAL INSATISFASCIBLE:
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
28
SIS 1205 “A” ANALISIS DISCRETO INGENIERIA DE SISTEMAS
_____________________________________________________________________________________
∑ ≠ Q
CONSECUENCIA LÓGICA.-
Deducción:
Conjunto de premisas ∑
Conclusión Q
ARGUMENTO VÁLIDO.-
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
29
SIS 1205 “A” ANALISIS DISCRETO INGENIERIA DE SISTEMAS
_____________________________________________________________________________________
“Un líquido es ácido si y solo si colorea de azul el papel tornasol rojo. Un líquido colorea
de azul el papel tornasol rojo si y solo si contiene iones de hidrógeno libres. Por lo tanto, un
líquido es ácido si y solo si contiene iones de hidrógeno libres.”
p: Un líquido es ácido.
q: Un líquido colorea de azul el papel tornasol rojo.
r: Un líquido contiene iones de hidrógeno libres.
P={p, q, r}
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
30
SIS 1205 “A” ANALISIS DISCRETO INGENIERIA DE SISTEMAS
_____________________________________________________________________________________
La conclusión es la siguiente:
• un líquido es ácido si y solo si contiene iones de hidrógeno libres.
p↔r
Q = {p↔r}
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
31
SIS 1205 “A” ANALISIS DISCRETO INGENIERIA DE SISTEMAS
_____________________________________________________________________________________
En la tabla se observa que las únicas filas (valuaciones) donde el conjunto de premisas son
verdaderas son la fila 1 y fila 8, entonces solo debemos analizar estas filas y observar el
valor de verdad de la conclusión para estas filas, como la conclusión para estas filas
también es verdadera, entonces el argumento es valido. En el supuesto caso de que existiera
un valor de verdad falso, para la conclusión, en una de estas dos filas entonces el
argumento seria invalido.
“O Juan y José tienen la misma edad o Juan es mayor que José. Si Juan y José tienen la
misma edad entonces Pedro y Juan no tienen la misma edad. Si Juan es mayor que José
entonces Juan es mayor que Maria . Por lo tanto o Pedro y Juan no tienen la misma edad o
Juan es mayor que Maria.”
1: letras proposicionales:
2: fórmulas de lenguaje.
∑ = { p ∨ q ; p→ ¬r ; q→s}
Q={¬r ∨ s }
3: Tablas de verdad
Como el conjunto de letras proposicionales contiene cuatro letras, entonces se tiene un total
de 16 valuaciones diferentes.
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
32
SIS 1205 “A” ANALISIS DISCRETO INGENIERIA DE SISTEMAS
_____________________________________________________________________________________
p q r s ¬r p∨q p→ ¬r q→s ¬r ∨ s
1 1 1 1 0 1 0 1 1
1 1 1 0 0 1 0 0 1
1 1 0 1 1 1 1 1 1
1 1 0 0 1 1 1 0 1
1 0 1 1 0 1 0 1 1
1 0 1 0 0 1 0 1 0
1 0 0 1 1 1 1 1 1
1 0 0 0 1 1 1 1 1
0 1 1 1 0 1 1 1 1
0 1 1 0 0 1 1 0 0
0 1 0 1 1 1 1 1 1
0 1 0 0 1 1 1 0 1
0 0 1 1 0 0 1 1 1
0 0 1 0 0 0 1 1 0
0 0 0 1 1 0 1 1 1
0 0 0 0 1 0 1 1 1
1: letras proposicionales:
p: La lógica es difícil
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
33
SIS 1205 “A” ANALISIS DISCRETO INGENIERIA DE SISTEMAS
_____________________________________________________________________________________
3: tablas de verdad:
P q R ¬p ¬q ¬r p ∨ ¬q r→ ¬p q→ r
1 1 1 0 0 0 1 0 0
1 1 0 0 0 1 1 1 1
1 0 1 0 1 0 1 0 1
1 0 0 0 1 1 1 1 1
0 1 1 1 0 0 0 1 0
0 1 0 1 0 1 0 1 1
0 0 1 1 1 0 1 1 1
0 0 0 1 1 1 1 1 1
En alguno casos los argumentos no presentan en forma explicita los dos componentes
fundamentales, es decir, la base de conocimientos y la conclusión, en estos casos, la
conclusión a validar se la obtiene a base de consultas a la base de conocimientos, el
siguiente ejemplo muestra una situación como esta.
Manuel, Mauricio y Gabriel son acusados de fraude fiscal en el juicio ellos declaran lo
siguiente:
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
34
SIS 1205 “A” ANALISIS DISCRETO INGENIERIA DE SISTEMAS
_____________________________________________________________________________________
1: letras proposicionales:
p: Manuel es inocente.
q: Mauricio es inocente.
r: Gabriel es inocente.
2: Fórmulas de lenguaje:
Las formulas del lenguaje se las obtiene a partir de los que dice cada uno de los acusados.
Manuel dice: ¬q ∧r
Mauricio dice: r→p
Gabriel dice: r ∧(¬p ∨ ¬q)
Por medio de tablas de verdad se puede establecer el valor de verdad respecto a lo que
dice cada uno de los acusados y en función a los valores obtenidos se podrá respuesta a
las interrogantes.
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
35
SIS 1205 “A” ANALISIS DISCRETO INGENIERIA DE SISTEMAS
_____________________________________________________________________________________
R.- a) Para dar respuesta a la primera interrogante, se observa que la primera fila es
la valuación en la que todos son inocentes y de acuerdo a los valores obtenidos en la
tabla de verdad los que han mentido son Manuel y Gabriel.
1: Monotonía.-
Sea ∑ Є L(P) ; ∑ * Є L(P) : Q Є L(P)
Si ∑ ⊆ ∑* y ∑ => Q
Entonces : ∑* => Q
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
36
SIS 1205 “A” ANALISIS DISCRETO INGENIERIA DE SISTEMAS
_____________________________________________________________________________________
∑ => Q
5: TEOREMA DE DEDUCCIÓN
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
37
SIS 1205 “A” ANALISIS DISCRETO INGENIERIA DE SISTEMAS
_____________________________________________________________________________________
Para demostrar que una formula es valida, basta con demostrar que la negación de
la formula es una contradicción, por extensión, para demostrar que una formula es
consecuencia lógica de un conjunto de formulas, basta con demostrar que la
negación de la formula (conclusión) unida al conjunto de formulas (base de
conocimientos) es una contradicción, es decir, insatisfascible.
A este mecanismo de demostración se lo denomina:
-Demostración por refutación.
-Demostración por reducción al absurdo.
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
38
SIS 1205 “A” ANALISIS DISCRETO INGENIERIA DE SISTEMAS
_____________________________________________________________________________________
Una demostración a nivel semántica, es decir por medio de tablas de verdad, si bien resulta
un método sumamente sencillo, presenta algunas limitaciones, principalmente cuando el
numero de letras proposiconales es grande, por ejemplo; si se tiene ‘n’ letras
proposicionales, se tendrá 2n interpretaciones o valuaciones diferentes, es en este sentido
que la tabla de verdad puede ser muy grande (muchas filas), con 6 letras proposicionales se
tiene 64 posibles valuaciones, y se tiene que interpretar todas las formulas del lenguaje para
cada una de las valuaciones, este trabajo, si bien es sencillo es muy moroso y fácil de
cometer errores. Es por este motivo que se requiere un mecanismo de demostración que
permita realizar la demostración a nivel simbólico, el sistema deductivo tiene este
propósito. Si bien el sistema deductivo permite demostrar la validez de una deducción o de
un argumento a nivel simbólico presenta algunas características:
Se parte de un conjunto de cláusulas, es decir, opera sobre cláusulas, por lo tanto, ya que el
lenguaje proposicional esta formado por formulas correctamente escritas, es necesario
desarrollar un proceso de transformación de dichas formulas a cláusulas. Para la obtención
de cláusulas se requiere algunos elementos importantes que a continuación se detallan.
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
39
SIS 1205 “A” ANALISIS DISCRETO INGENIERIA DE SISTEMAS
_____________________________________________________________________________________
CONJUNCION.
(p∧q) => ¬¬(p∧q)
=>¬(¬p∨¬q )
DISYUNCION.
(pÆq) => ¬p∨q
DOBLE IMPLICACION.
n m
IUl
i =1 j =1
ij Donde lij es una letra proposicional o negación de letra proposicional.
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
40
SIS 1205 “A” ANALISIS DISCRETO INGENIERIA DE SISTEMAS
_____________________________________________________________________________________
Las leyes lógicas son infinitas, a continuación se proporciona la formulación de las más
importantes:
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
41
SIS 1205 “A” ANALISIS DISCRETO INGENIERIA DE SISTEMAS
_____________________________________________________________________________________
De Morgan:
- (p ∧ q) (-p v –q)
-(p v q) (-p ∧ –q)
Transposición:
(p q) (-q -p)
Exportación:
[(p ∧ q) r] [p (q r)]
Idempotencia:
p (p ∧ p)
p (p v p)
Expansión Booleana:
p p ∧ (q v -q)
p p v (q ∧ -q)
Absorción:
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
42
SIS 1205 “A” ANALISIS DISCRETO INGENIERIA DE SISTEMAS
_____________________________________________________________________________________
p p ∧ (p v q))
p p v (p ∧ q)
(pÆq) ∧¬(rƬt)
(¬p ∨q) ∧¬(¬r∨¬t)
(¬p∨q) ∧(r∧t)
(¬p ∨ q) ∧ r ∧ t ...........==Î F.N.C.
Una fórmula en F:ND: esta constituida por una disyunción de conjunciones de literales.
n m
U I
i=1 j=1
l ij Donde lij es una letra proposicional o negación de letra
proposicional.
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
43
SIS 1205 “A” ANALISIS DISCRETO INGENIERIA DE SISTEMAS
_____________________________________________________________________________________
Tomando como referencia esta característica una formula en Forma Normal Conjuntiva
(F.N.C) es una Conjunción de cláusulas.
C1 , C2 , C3 , ............. , Cn
Toda formula se puede representar por una o mas cláusulas .Una fórmula es consistente
(inconsistente) si y solo si, su equivalente es cláusula también lo es. Por lo tanto, da lo
mismo trabajar con la formula original que trabajar con el conjunto de cláusulas resultante
de la misma.
Una cláusula que no contiene literales es una cláusula vacía y representa un contradicción,
es decir, algo insatisfascible.
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
44
SIS 1205 “A” ANALISIS DISCRETO INGENIERIA DE SISTEMAS
_____________________________________________________________________________________
El principio de resolución opera siempre sobre cláusulas, por lo que cuando se utiliza para
demostrar la insatisfacibilidad de una formula, esta ha debido convertirse previamente a su
forma clausular.
Dos cláusulas Cm y Cp se puede resolver para dar como resultado una cláusula Cr
(Conclusión), pero Cm y Cp deben contener al menos el mismo literal en un caso negado y
en el otro sin negar y Cr , que es la clausula resolverte, contiene al resto de los literales,
excepto al literal que se encuentra en Cm y Cp que estaba negado y sin negar.
Por ejemplo si:
Cm = p ∨ q ∨ ¬r
Cp = t ∨ ¬q
Cr = p ∨ ¬r ∨ t …………Conclusión.
REGLA DE RESOLUCIÓN.-(Binaria).-
Se selecciona dos cláusulas Cm y Cp , llamadas cláusulas padre, tales que una contenga un
literal R y la otra a ¬R , y se resuelven entre si, obteniéndose una nueva cláusula Cr ,
llamada cláusula resolvente o cláusula hijo.
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
45
SIS 1205 “A” ANALISIS DISCRETO INGENIERIA DE SISTEMAS
_____________________________________________________________________________________
La cláusula resolverte será la disyunción de todos los literales de ambas cláusulas padre
con la excepción del par R y ¬R.
Cm : p ∨ ¬q Cm : p
Cp : q Cp : ¬p
Cr :
Cr : p
Como las cláusulas están relacionadas por una conjunción, en realidad se tiene la siguiente
formula: p ∧ ¬p lo que constituye una Contradicción fija, siempre es Falso
MÉTODO GENERAL.-
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
46
SIS 1205 “A” ANALISIS DISCRETO INGENIERIA DE SISTEMAS
_____________________________________________________________________________________
∑ = {(r ∨ p) Æ (q ∨ ¬s) , p , s}
Q = {q}
∑ => Q a demostrar:
Agregar la conclusión negada (¬q) a la base de conocimiento.
{(r ∨ p) Æ (q ∨ ¬s), p , s ,¬q}
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
47
SIS 1205 “A” ANALISIS DISCRETO INGENIERIA DE SISTEMAS
_____________________________________________________________________________________
ARBOL DE REFUTACIÓN.-
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
48
SIS 1205 “A” ANALISIS DISCRETO INGENIERIA DE SISTEMAS
_____________________________________________________________________________________
En los nodos terminales del árbol de refutación solo se encuentran las cláusulas iniciales
con las que se empieza la aplicación del principio de resolución.
“No pongo la calefacción eléctrica solo si tengo gas. No consumo leña a menos que el
petróleo sea caro o no ponga calefacción eléctrica. El petróleo no es caro. Consumo leña a
menos que tengo frió. Por lo tanto solo si tengo frió tengo gas”.
1: letras proposicionales:
p: Yo pongo la calefacción electrica.
q: Yo tengo gas.
r : Yo consumo leña.
s : El petróleo es caro.
t : Yo tengo frío.
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
49
SIS 1205 “A” ANALISIS DISCRETO INGENIERIA DE SISTEMAS
_____________________________________________________________________________________
3. ∑ U { ¬Q}
{¬q Æ p , ¬(s ∨ ¬p) Æ ¬r , ¬s , ¬tÆ r , ¬(¬tÆq)}
4. clausulas:
{q ∨ p , s ∨ ¬p ∨ ¬r , ¬s , t ∨ r , ¬t , ¬q}
5. Resolucion:
Como a partir del conjunto de cláusulas se logra obtener la cláusula vacía, por lo tanto, el
conjunto de cláusulas es una contradicción, entonces el conjunto de formulas original
también es una contradicción, por lo tanto se establece que el argumento es valido.
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
50