Professional Documents
Culture Documents
_____________________________________________________________________________________
Constituyen el conjunto de smbolos que el lenguaje requiere, el lenguaje para una Lgica
Proposicional requiere tres tipos de smbolos:
Al conjunto de de smbolos 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 smbolos del lenguaje (alfabeto) se debe establecer el
conjunto de reglas para la obtencin de formulas bien construidas (fbc) del lenguaje, porque
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
11
SIS 1205 A ANALISIS DISCRETO INGENIERIA DE SISTEMAS
_____________________________________________________________________________________
Definicin.- Las Formulas Bien Construidas (fbc) del lenguaje proposicional se definen
recursivamente con la aplicacin de las siguientes reglas:
1. Toda Letra Proposicional es una formula bien construida del lenguaje. A estas
formulas se las denomina Formulas Atmicas.
2. Si A y B son frmulas del lenguaje , entonces:
3. Son frmulas del lenguaje nicamente las obtenidas con la aplicacin de las reglas 1
y 2.
El uso adecuado de parntesis 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 sintcticas establecidas permiten formar
proposiciones complejas que se las desglosa de la siguiente manera:
Proposiciones conjuntivas:
As por ejemplo:
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 investigacin son para Francia.
q: las becas de investigacin son para Alemania.
pvq
donde:
p: la tarifa area incluye un viaje de cabotaje a Bariloche.
q: la tarifa area 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 condicin que hace una disyuncin verdadera, radica en que siempre al menos uno de
los componentes sea verdadero. Solamente en la disyuncin inclusiva tambin es verdadera
cuando ambos componentes sean verdaderos, en caso contrario es falsa.
Se utilizar la disyuncin inclusiva, para todos los ejemplos posteriores, en todos los casos
de disyuncin 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 ubicacin,
pues esto modificara la funcin de la misma. En las proposiciones condicionales, la
ubicacin de las proposiciones que la componen (antecedentes y consecuente) se determina
por la estructura misma. La nica condicin 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
fcticos, en las proposiciones bicondicionales tambin se dan las bicondicionales contra
fcticas como por ejemplo:
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
18
SIS 1205 A ANALISIS DISCRETO INGENIERIA DE SISTEMAS
_____________________________________________________________________________________
Ejemplo: Definir una funcin para determinar el nmero de conectivos que aparecen en una
frmula A
numconect(A) = 0
Ya que una frmula atmica 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)
Sea la formula A = (p q) r
_____________________________________________________________________
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 semntica que se proporciona el significado y el valor de verdad que se
asumir para los procesos de validacin de argumentos.
PROPSITO.-
El propsito de la semntica 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 lgica.
_____________________________________________________________________
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 lgica 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
definicin del concepto de verdad se establece asignando valores de verdad a los elementos
fundamentales del lenguaje, las letras proposicionales.
La asignacin de valores de verdad a las letras proposicionales se lleva a cabo por medio de
una funcin de asignacin de valores de verdad, a esta funcin se la denomina funcin a.
a: p {V,F}
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
22
SIS 1205 A ANALISIS DISCRETO INGENIERIA DE SISTEMAS
_____________________________________________________________________________________
Observaciones:
- A una funcin de asignacin de valores de verdad se las denomina tambin
VALUACIONES.
- Si P contiene n letras proposicionales entonces se tiene 2n valuaciones diferentes.
- Toda letra proposiocional toma 1 valor de 2 posibles.
Una valuacin asigna valores de verdad a los elementos atmicos del lenguaje, letras
proposicionales, sin embargo el lenguaje esta conformado por estructuras mas complejas
llamadas formulas que representan informacin resultante de la combinacin de letras
proposicionales y conectivos lgicos. 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 interpretacin de formulas del lenguaje. En resumen la
interpretacin de formulas tiene por objetivo:
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
23
SIS 1205 A ANALISIS DISCRETO INGENIERIA DE SISTEMAS
_____________________________________________________________________________________
-Si A es de la forma (B C)
a(A) = max (a(B), a(C))
-Si A es de la forma (B V)
a(A) = min (a(B), a(C))
-Si A es de la forma (BC)
a(A)= 0 si a(B) = 1 y a(C) = 0
1 en caso contrario
-Si A es de la forma (BC)
a(A) = 1 si a(B) = a(C)
0 en caso contrario.
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 =11
Finalmente:
a(A) = 1
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
25
SIS 1205 A ANALISIS DISCRETO INGENIERIA DE SISTEMAS
_____________________________________________________________________________________
La determinacin del valor de verdad de una formula para una valuacin determinada
aplicando la definicin inductiva de la funcin es un poco larga, es por este motivo que se
puede recurrir a procesos que simplifican dicha evaluacin pero aplicando la funcin
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
(p q) (r (pq) )
1 0 1 1 0
1 1 0 1
1 1
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
FRMULAVLIDA.-
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
27
SIS 1205 A ANALISIS DISCRETO INGENIERIA DE SISTEMAS
_____________________________________________________________________________________
Ej: ((p q) p) q
P Q pq (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
FRMULA 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
FRMUAL INSATISFASCIBLE:
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
28
SIS 1205 A ANALISIS DISCRETO INGENIERIA DE SISTEMAS
_____________________________________________________________________________________
CONSECUENCIA LGICA.-
Deduccin:
Conjunto de premisas
Conclusin Q
ARGUMENTO VLIDO.-
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
29
SIS 1205 A ANALISIS DISCRETO INGENIERIA DE SISTEMAS
_____________________________________________________________________________________
Un lquido es cido si y solo si colorea de azul el papel tornasol rojo. Un lquido colorea
de azul el papel tornasol rojo si y solo si contiene iones de hidrgeno libres. Por lo tanto, un
lquido es cido si y solo si contiene iones de hidrgeno libres.
p: Un lquido es cido.
q: Un lquido colorea de azul el papel tornasol rojo.
r: Un lquido contiene iones de hidrgeno libres.
P={p, q, r}
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
30
SIS 1205 A ANALISIS DISCRETO INGENIERIA DE SISTEMAS
_____________________________________________________________________________________
La conclusin es la siguiente:
un lquido es cido si y solo si contiene iones de hidrgeno libres.
pr
Q = {pr}
P Q r pq qr Pr
1 1 1 1 1 1
1 1 0 1 0 0
1 0 1 0 0 1
1 0 0 0 1 0
0 1 1 0 1 0
0 1 0 0 0 1
0 0 1 1 0 0
0 0 0 1 1 1
_____________________________________________________________________
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 conclusin para estas filas, como la conclusin para estas filas
tambin es verdadera, entonces el argumento es valido. En el supuesto caso de que existiera
un valor de verdad falso, para la conclusin, 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: frmulas de lenguaje.
= { p q ; p r ; qs}
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 pq p r qs 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 lgica es difcil
_____________________________________________________________________
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 conclusin, en estos casos, la
conclusin a validar se la obtiene a base de consultas a la base de conocimientos, el
siguiente ejemplo muestra una situacin 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: Frmulas 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: rp
Gabriel dice: r (p q)
= { q r , r p , 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 funcin 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 valuacin 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: Monotona.-
Sea L(P) ; * L(P) : Q L(P)
Si * y => Q
Entonces : * => Q
Ej: = { (p q) r ; q r ; r q)}
Q = {p}
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
36