Académique Documents
Professionnel Documents
Culture Documents
Introduccin
a
la
lgica
Ejercicios
Tema
2.1
1.
Dada
la
definicin
A
del
lenguaje
formal
LR,
indicar
si
las
expresiones
de
la
lista
B
son
fbfs
de
LR:
A.
Definicin
del
lenguaje
LR:
a)
Smbolos
primitivos:
a,
b,
*
b)
Reglas
de
formacin:
R.1:
a*b
y
b*a
son
fbfs
de
LR.
R.2:
Si
es
fbf
de
LR
y
es
fbf
de
LR,
entonces
es
fbf
de
LR. B.
Cules
de
las
siguientes
son
fbfs
de
LR?
a)
b*a
Es
fbf
porque
cumple
R1
b)
* No
es
fbf
porque
utiliza
metavariables
en
lugar
de
variables.
c)
a*a
No
es
fbf
porque
no
cumple
R1
al
no
ser
uno
de
los
2
casos
concretos
que
esta
regla
permite,
ni
cumple
R2
porque
no
tiene
fbfs
vlidas
como
punto
de
partida.
d)
a*bb*a
No
es
fbf
porque
hay
dos
enunciados
que
no
estn
unidos
por
una
conectiva.
e)
a*b*b*a
S
es
un
fbf
porque
aplica
R2
para
unir
con
una
conectiva
2
fbfs
vlidos
por
R1.
f)
a*b*a*b
S
es
fbf
por
la
misma
razn
que
el
caso
anterior.
g)
a*b*a*b*a*b
S
es
fbf
porque
utiliza
R2
para
unir
3
fbfs
vlidas
por
R1.
h)
a*b*a*a*a*b
No
es
fbf
porque
no
se
puede
deducir
de
R1
y
R2,
porque
por
R1
no
es
un
conjunto
de
fbfs
vlidas
que
puedan
servir
para
combinarse
mediante
la
conectiva
que
permite
R2.
2.
Determinar
cul
de
las
siguientes
expresiones
son
fbfs
de
LP.
Si
no
lo
son,
hacer
los
cambios
mnimos
necesarios
para
que
lo
sean:
a)
(r)
Es
fbf
b)
(rs)
Es
fbf
c)
((pp)p)
Es
fbf
d)
((pp(qp))
No
es
fbf
((p(qp))
//
(((p
p) (qp))
e)
((pr)(pr))
Es
fbf
f)
((qp)(q)
Es
fbf
indicar
si
la
frmula
( p(qp)) es
subfrmula
de
la
frmula
dada:
a)
((pq)((p(qp))(pr)))
S
b)
(((pp)(qp))q)
No
c)
((p(p(qp)))(qp))
S
d)
(p((p(qp))r))
S
e)
((((pq)p)r)q)
No
f)
(p(p(qp)))
S
g)
(((pq)p)(qp))
No
d) Si la sustancia se pudiera dividir en partes, entonces o bien las partes conservaran la naturaleza de sustancia o bien perderan la naturaleza de sustancia. Pero las partes de la sustancia no pueden seguir siendo sustancias, y las partes de la sustancia no pueden 6
dejar de ser sustancias. Por tanto, la sustancia no puede ser dividida en partes. (de Spinoza, tica) p: La sustancia se puede dividir en partes q: Las partes de la sustancia conservan la naturaleza de la sustancia (p (q q)) , (qq) p
7.
Construir enunciados del lenguaje natural cuya forma lgica sea la expresada por las siguientes frmulas: a) (p(qr)) Si se da el caso de que llueve si salgo a la calle coger paraguas. p: Llueve q: Salgo a la calle r: Cojo paraguas b) ((pq)r) Si hace sol despus de haber llovido saldr el arcoris y entonces yo le sacar una foto. p: Hace sol despus de haber llovido q: Saldr el arcoiris r: Yo le sacar una foto c) (p(qr)) Si me hago una herida me lavar y me la vendar la herida p: Me hago una herida q: Me lavar la herida r: Me vendar la herida d) ((pq) p) Apruebe o suspenda el examen voy a estar alegre. p: Apruebo el examen q: Suspendo el examen r: Voy a estar alegre