Ejercitacin LPO

Y gua para tablas de verdad

Simbolizacin-Interpretacin
1- Cul de las siguientes frmulas da cuenta de la
expresin espaola: Si Mara ama a Pedro, no
lograr ser feliz.
a- (Amar a (Mara, Pedro) Ser Feliz(Mara))
b- Amar a (Mara, Pedro) Ser Feliz(Mara)
c- Amar a (Mara, Pedro) Ser Feliz(Mara)

2- Misma consigna: Es necesario que a sea

Cubo y Grande para que b sea menor que a.
a- (Cubo(a) Grande(a)) Menor Que(b,a)
b- Menor Que(b,a) (Cubo(a) Grande(a))
c- (Menor Que(b,a) Cubo(a)) Grande(a)

3- Misma consigna: No es necesario que

vayas a la fiesta para que Pedro te acepte.
a- Ir Fiesta(t) Aceptar(Pedro, t)
b- (Aceptar(t, Pedro) Ir Fiesta(t))
c- (Aceptar(Pedro, t) Ir Fiesta(t))
d- (Ir Fiesta(t) Aceptar(Pedro, t))

4- Misma consigna: si P es necesario para Q,

entonces Q no es suficiente para R.
a- (Q P) (Q R)
b- (Q P) (Q R)
c- (P Q) (R Q)

5- Cul de las siguientes expresiones de LO

se podran traducir como:
(Asistir(t) Aprobar(t))
a- Basta con que no asistas a clases para que
apruebes el examen.
b- No es cierto que es necesario asistir a
clases para aprobar.
c- No basta con asistir a clases para aprobar el
examen.

6- Misma consigna:
{ [BuenaAp(t) Dinero(t) ] [(Intelig(t) Digno(t) ] }

a- No es cierto que si tienes buena apariencia

y dinero, eres inteligente y digno.
b- Es cierto que si tienes buena apariencia y
dinero, no eres inteligente y digno.
c- No es cierto que si tienes buena apariencia,
dinero, y eres inteligente, entonces eres
digno.

Pasos para la confeccin de una

tabla de verdad
Dada la frmula:
(a=b) [ ( Cubo(a) Tet(b) ) ]

1- Contar cantidad de enunciados atmicos

diferentes: aqu son 3.
2- Elevar 2 a ese nmero: 23=8

3- Hacer 8 filas debajo del enunciado general,

con columnas para cada atmica y conector:
(a=b)

[ ( Cubo(a)

Tet(b) ) ]

4- Asignar los valores de verdad de a 4, de a 2

y de a 1, hasta completar las filas.
(a=b)
V
V
V
V
F
F
F
F

[ ( Cubo(a)
V
V
F
F
V
V
F
F

Tet(b) ) ]
V
F
V
F
V
F
V
F

5- Resolver primero las negaciones de

atmicas:
(a=b)
V
V
V
V
F
F
F
F

[ ( Cubo(a)
V
V
F
F
V
V
F
F

F
V
F
V
F
V
F
V

Tet(b) ) ]
V
F
V
F
V
F
V
F

6- Resolver luego delos conectores ms

interiores a los ms exteriores:
(a=b)
V
V
V
V
F
F
F
F

[ ( Cubo(a)
V
F
V
V
F
V
F
V
V
F
V
V
F
V
F
V

F
V
F
V
F
V
F
V

Tet(b) ) ]
V
F
V
F
V
F
V
F

(a=b)
V
V
V
V
F
F
F
F

[ ( Cubo(a)
F
V
F
V
V
V
V
F
V
V
F
V
F
V
F
F
V
V
F
F
V
F
F
V

F
V
F
V
F
V
F
V

Tet(b) ) ]
V
F
V
F
V
F
V
F

7- Identificar lneas espurias:

(a=b)
V
V
V
V
F
F
F
F

[ ( Cubo(a)
F
V
F
V
V
V
V
F
V
V
F
V
F
V
F
F
V
V
F
F
V
F
F
V

F
V
F
V
F
V
F
V

Tet(b) ) ]
V
F
V
F
V
F
V
F

8- Determinar tipo de frmula slo con lneas

no espurias: en este caso, es satisfacible.
(a=b)
V
V
V
V
F
F
F
F

[ ( Cubo(a)
F
V
F
V
V
V
V
F
V
V
F
V
F
V
F
F
V
V
F
F
V
F
F
V

F
V
F
V
F
V
F
V

Tet(b) ) ]
V
F
V
F
V
F
V
F

8- Determinar tipo de frmula slo con lneas

no espurias: en este caso, es satisfacible.
(a=b)
V
V
V
V
F
F
F
F

[ ( Cubo(a)
V
V
F
V
V
V
V
F
V
V
F
V
F
V
F
F
V
V
F
F
V
F
F
V

F
V
F
V
F
V
F
V

Tet(b) ) ]
V
F
V
F
V
F
V
F

Ms ejercicios
1- Cul/es de las siguientes frmulas es/son
equivalente/s a (p q)?
a- p q
b- (p q)
c- (p q)

2- Misma consigna: equivalente/s a

(p q)
a- p q
b- (p q)
c- (p q)

3- De la frmula (p q) se sigue (p q) ?
a- S, porque si la conjuncin es verdadera, p
es verdadera, y por lo tanto hace verdadera
cualquier disyuncin con p.
b- S, porque las conjunciones y las
disyunciones son conectores que guardan
equivalencias entre ellos.
c- No, porque la disyuncin me est diciendo
que uno de ellos es falso, mientras que la
conjuncin dice que ambos son verdaderos.

4- Si se aplica modus ponens a las siguientes

frmulas, qu se obtiene?
1.(p q) r
2. (p q)
a- Nada, porque modus ponens pide que se
afirme un antecedente, no dos.
b- Se obtiene r.
c- Se obiene p, q y r.

5- Cul es un caso de aplicacin de ley de

Morgan?
a- (p s) (p s)
b- (p s) (p s)
c- (p s) (p s)
d- (p s) (p s)