Documente Academic
Documente Profesional
Documente Cultură
-->
F
F
V
V
hago la tabla de verdad de la frmula que
p
F
F
F
F
V
F
F
F
V
V
V
V
tabla de verdad de la frmula afectada por el conector
q) ^ q]
-->
V V
V F
F
V
F
V F
F F
V
V
F
F V
V F
F
V
V
F V
F V
V
V
V
Puede ocurrir que el resultado final sea siempre verdadero, como en este
ejemplo, y eso se llama una TAUTOLOGA;que el resultado final sea a veces
verdadero y a veces falso, y eso se llama INDETERMINACIN; y, por ltimo,
que todos los resultados sean falsos y eso se llama una contradiccin.
Ejercicios resueltos de
tablas de verdad y
formalizacin
BY EUG ENI O S NC HEZ BRAVO O N 25 OC TUBRE , 2008 ( 25 COM ENTARIO S )
&
->
TAUTOLOGA
2.
->
&
&
CONTRADICCIN
3.
p
->
INDETERMINACIN
4.
(
->
&
->
INDETERMINACIN
5.
(
->
&
->
->
->
->
TAUTOLOGA
6.
(
&
->
INDETERMINACIN
7.
p
->
->
INDETERMINACIN
8.
TAUTOLOGA
<->
&
9.
p
->
->
INDETERMINACIN
10.
<->
INDETERMINACIN
Formalice los siguientes argumentos. Una vez formalizados, Haga su tabla de verdad e
indique si son vlidos (tautologas) o no.
[Los ejercicios estn tomados de la excelente introduccin a la lgica proposicional de
Eulalia Prez Sedeo.
Eulalia Prez Sedeo: Ejercicios de Lgica, Madrid: s. XXI de Espaa Editores,
1991.]
Ejemplo: Jaime se come el polo o se le derretir; no se derrite el polo; por tanto, Jaime se
come el polo. p = Jaime se come el polo q = el polo se derrite. (p v q) & q -> p
(p
q)
&
->
p
>
& (
V V V
V V F
V V V
V V
V V
V F
V F
V V V F
V F
V V F
V F
V F
V V F
V F
V V F
V V F
q
>
& (
V F
V V V F
V F
V F
V F
V V F
V V V F
V F
V F
V V V F
V F
V F
V V F
V F
V F
V V F
V V F
V V F
TAUTOLOGA
2. Si la Luna es mayor que la Tierra, la Tierra es mayor que el Sol. Jpiter es mayor que
Plutn, si la Tierra es mayor que el Sol. Por tanto, si la Luna es mayor que la Tierra, Jpiter
es mayor que Plutn.
Luna mayor: p
Tierra mayor: q
Jpiter mayor: r
(p -> q) & (q -> r) -> (p -> r)
(
->
&
->
->
->
TAUTOLOGA
3. Cuando viajo me mareo. Siempre que me mareo, me entra un hambre atroz. As pues,
siempre que me entra un hambre atroz, viajo.
Viajo: p
Mareo: q
Hambre: r
((p -> q) & (q -> r)) ->(r -> p)
(
>
>
>
&
>
INDETERMINACIN
4. O el amor es ciego y los hombres no son conscientes del hecho de que el amor es ciego,
o el amor es ciego y las mujeres sacan ventaja de ello. Si los hombres no son conscientes de
que el amor es ciego, entonces el amor no es ciego. En conclusin, las mujeres sacan
ventaja de ello.
Amor ciego: p
Hombres no conscientes: q
Mujeres ventaja: r
((p & q) v (p & r)) & (q -> p) ->r
(
(
&
>
&
)
)
&
>
TAUTOLOGA
5. Si Guillermo estudia, obtiene buenas notas. Si no estudia, lo pasa bien en el colegio. Si
no saca buenas notas, no lo pasa bien en el colegio. As pues, Guillermo obtiene buenas
notas.
Guillermo estudia: p
Guillermo notas: q
Guillermo colegio: r
((p -> q) & ( p -> r)) & ( q -> r) -> q
(
q
>
r
>
r
>
V V
V V
V F
V F
V V
V V
V F
&
&
q
>
V F
TAUTOLOGA
6. Cuando Eduardo no juega al baloncesto, juega al tenis; cuando juega al tenis, juega al
ftbol; no juega al ftbol. Por tanto, Eduardo juega al baloncesto.
Eduardo baloncesto: p
Eduardo tenis: q
Eduardo ftbol: r
((p -> q) & (q ->r)) & r ->p
((
&
>
->
&
->
))
TAUTOLOGA
7. Si la tormenta contina o anochece, nos quedaremos a cenar o a dormir; si nos quedamos
a cenar o a dormir no iremos maana al concierto; por consiguiente, iremos maana al
concierto.
Tormenta continua: p
Anochece: q
Quedamos a cenar: r
Quedamos a dormir: s
Iremos concierto: t
(((p v q) -> (r v s)) & ((r v s) -> t)) -> t
(
(
(
(
>
)
)
&
(
(
t
>
)
)
t
>
V V
V V
V V
V V
V F
V V
V V
V V
V V
V F
V V
V V
V V
V V
V F
V V
V V
V V
V V
desarrollo
1
0
0
0
1
0
1
0
1
1
1
1
1
1
0V
q)
(p
1
Tautologa
Indeterminacin
http://matematica1.com/tablas-de-verdad-ejercicios-y-problemas-resueltos-enpdf-y-videos/
http://matematica1.com/tablas-de-verdad-logicas-pdf/