Documentos de Académico
Documentos de Profesional
Documentos de Cultura
INGENIERIA DE SISTEMAS
_____________________________________________________________________________________
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
10
Observaciones:
Por ejemplo:
r1
P={p, q, r, s, t}
r2
P={p, q, r}
r3
P={a, b, c, d, e, f, g}
L(P)
11
s,
El uso adecuado de parntesis es muy importante para definir las sub estructuras del una
formula.
Por lo tanto:
p q
es diferente a (p q) r
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
12
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:
Las proposiciones conjuntivas surgen de la unin de dos proposiciones atmicas, que se
denominarn componentes conjuntivos, y la alteracin de la ubicacin de los mismos no
incide en la funcin de la conjuncin, que es unir. La condicin que hace una conjuncin
verdadera, es que ambos componentes conjuntivos sean verdaderos, en caso contrario la
conjuncin es falsa.
As por ejemplo:
p q
p q
Donde :
p: Descartes es racionalista.
q: Hume es empirista.
Aunque Descartes es idealista, Hume es empirista
p q
Donde :
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
13
p: Descartes es idealista.
q: Hume es empirista.
Proposiciones disyuntivas:
Las proposiciones disyuntivas surgen de la inclusin o no de dos alternativas. las
proposiciones que las componen, se denominarn componentes disyuntivos, y como en el
caso de la conjuncin, la alteracin de la ubicacin de los mismos no incide en la funcin
de la disyuncin.
As por ejemplo en la disyuncin inclusiva:
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
14
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:
q: viajaremos en primera.
q
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
15
(1)
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
16
(p q)
(r s)
(2)
Proposiciones Bicondicionales:
Las proposiciones bicondicionales son las proposiciones construidas por la equivalencia ( o
mutua implicacin) entre las proposiciones que la componen. Los componentes del
bicondicional se denominan:
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
17
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:
Habra alcanzado el triunfo si y solo si se hubiera esforzado.
La lgica solo se interesa por las proposiciones bicondicionales materiales, y no se ocupa
de las bicondicionales contra fcticas pues de stas no es posible determinar su valor de
verdad.
Como la definicin de las reglas sintcticas
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
18
INDUCCIN SOBRE FRMULAS.La definicin inductiva de las reglas sintcticas permiten aplicar la induccin matemtica
para la demostracin de propiedades del lenguaje, en este proceso puede existir mas de un
caso bsico.
Ejemplo: Definir una funcin para determinar el nmero de conectivos que aparecen en una
frmula A
La funcin a definir es numconect( - ) que da como resultado el numero de conectivos que
tiene una formula arbitraria.
CASO BSICO.- Si A es una frmula atmica.
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)
-Si A es de la forma (B*C) donde * puede ser{, , , }entonces:
numconect(A)=1+numconect(B)+numconect(C)
SEGUIMIENTO DE LA FUNCION INDUCTIVA:
Sea la formula A = (p q) r
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
19
Numconect ((p q) r)
1 + numconect(p q)
1
1 + numconect(p) + numconect( q)
0
Numconect ((p q) r) = 3
3.7.3. SEMANTICA DEL LENGUAJE PROPOSICIONAL.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:
-
a) Definir el conjunto de significados.La definicin de significados consiste en establecer el conjunto de posibles valores que
pueden tomar las letras proposicionales y las formulas del lenguaje. La Lgica
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
20
p q
pq
pq
pq
pq
V V
V F
F V
F F
c) Letras Proposicionales:
Las letras proposicionales representan informacin diferente en funcin al fenmeno
que se est representando. Es decir:
-
Representan informacin.
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
21
q : Manuel estudia.
r : Reprueba el exmen.
Y su representacin simblica es:
(pq) r
3.7.3.1. CONCEPTO DE VERDAD.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.
Funcin de asignacin de valores de verdad.
La funcin a asigna valores de verdad al conjunto de letras proposicionales del lenguaje.
Cada letra proposicional toma un valor de dos posibles, el universo o conjunto de
significados se ha establecido previamente y esta formado por {Verdadero, Falso} y se
denota como sigue:
a: p {V,F}
Ej:
22
Conjunto de significados
a2= {p=F , q = F , r= V}
V=1
F =0
.
an= {p=V , q= V , r=v}
Observaciones:
-
3.7.3.2. INTERPRETACIN DE FRMULAS.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:
Determinar el valor de verdad de una frmula para una valuacin especifica.
Como se mostr en la definicin de la Sintaxis del lenguaje proposicional, la definicin de
una formula contempla una definicin inductiva, es decir, la construccin de una formula,
tiene una definicin recursiva, por lo tanto, la interpretacin de formulas, para determinar
su valor de verdad para una valuacin especifica, se lo realiza por medio de una definicin
inductiva.
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
23
en caso contrario
1 si a(B) = a(C)
0
en caso contrario.
24
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
25
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:
Se debe descomponer la formula en subformulas hasta encontrar elementos atmicos, es
decir letras proposicionales en una estructura ramificada, donde en las ramas inferiores
aparecen nicamente letras proposicionales y en funcin al valor que tienen estas, por
medio de una asignacin de valores de verdad, se procede a evaluar la formula de abajo
hacia arriba.
(p q ) ( r (q q)) = 1
p q =1
p=1
r (p q) =1
q = 1
q=0
r = 0 p q =1
r=1
p=1
q=0
1 0
1
1
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
26
A = (p q ) (r ( p q ))
p
1
1
1
1
0
0
0
0
q
1
1
0
0
1
1
0
0
R q r ( p q )
1 0
0
1
0 0
1
1
1 1
0
1
0 1
1
1
1 0
0
1
0 0
1
1
1 1
0
0
0 1
1
0
(p q )
0
0
1
1
0
0
0
0
(r ( p q ) (p q ) (r ( p q ))
1
1
1
1
1
1
1
0
1
1
1
1
1
1
1
1
27
pq
(p q) p
((p q) p) q
FRMULA SATISFASCIBLE:
Una formula es satisfascible si es verdadera por lo menos para una valuacin.
Estas formulas se llaman tambin CONTINGENCIA. El siguiente ejemplo muestra esta
situacin.
A = (p (r ( p q ))
p
1
1
1
1
0
0
0
0
q
1
1
0
0
1
1
0
0
R r ( p q )
1 0
1
0 1
1
1 0
1
0 1
1
1 0
1
0 1
1
1 0
0
0 1
0
(r ( p q )
(p (r ( p q ))
1
1
1
1
1
1
1
0
1
1
1
1
0
0
0
0
FRMUAL INSATISFASCIBLE:
Una formula es insatisfascible si es falsa para cualquier valuacin.
Estas formulas se llaman tambin CONTRADICCIN.
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
28
=> Q
Q es consecuencia logia de
Q no es consecuencia lgica de
ARGUMENTO VLIDO.-
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
29
30
pq
qr
Pr
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
31
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
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
32
pq
p r
qs
r s
33
p q
r p
q r
34
q r
Mauricio dice:
rp
Gabriel dice:
r (p q)
= { q r , r p , r (p q)}
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
35
p q r Manuel Mauricio p q
q r
r p
Gabriel
r (p q)
R.- a)
Si
Entonces :
L(P) ;
* L(P)
y
: Q L(P)
=> Q
* => Q
= { (p q) r ; q r ; r q)}
Q = {p}
_____________________________________________________________________
M.Cs. Ing Julio Cesar Bermudez vargas
36