Question

tabla de valores de verdad y ejercicios

Answer 1

EJERCICIOS DE TABLAS DE VERDAD Y FORMALIZACIÓN MÁS TABLAS DE VERDAD

Construya la tabla de verdad de las siguientes fórmulas. Indique qué fórmulas son tautológicas, cuáles contradictorias y cuáles indeterminadas.

1.

p&q->pVVVVVVFFVVFFVVFFFFVF

TAUTOLOGÍA

2.

(p->q)&(p&¬q)VVVFVFFVVFFFVVVFFVVFFFFVFVFFFFVF

CONTRADICCIÓN

3.

pv(q->r)VVVVVVVVFFVVFVVVVFVFFVVVVFFVFFFVFVVFVFVF

INDETERMINACIÓN

4.

(p->q)&q->pVVVVVVVVFFFFVVFVVVVFFFVFFFVF

INDETERMINACIÓN

5.

(p->q)&(q->r)->(p->r)VVVVVVVVVVVVVVFVFFVVFFVFFFFVVVVVVVFFFFVFVVFFFVVVVVVVFVVFVVFVFFVFVFFVFVFVVVFVVFVFVFVFVFVF

TAUTOLOGÍA

6.

(p->q)&¬p->¬qVVVVFVVFVVFFFFVVVFFVVFVFFFVFVFVVFVVF

INDETERMINACIÓN

7.

p->(q->r)VVVVVVFVFFVVFVVVVFVFFVVVVFVVFFFVFVVFVFVF

INDETERMINACIÓN

8.

¬(pvq) <->¬p&¬qFVVVVFVFFVFVVFVFVFVFFFVVVVFFFVVFFFVVFVVF

TAUTOLOGÍA

9.

pvq->(rvs->p)VVVVVVVVVVVVVVVFVVVVVVFVVVVVVVVFFFVVVVFVVVVVVVVFVVVFVVVVFVFVVVVVVFVFFFVVFVVFVVVFFFVVFVVFFFFVVFFVVFFFVVVFFFVFFFFVVVVFFFFFVVVFFFFFFVFVVFFFFFVFFFVF

INDETERMINACIÓN

10.

¬(pvq)<->¬pv¬qFVVVVFVFFVFVVFFFVVVFFFVVFVFVFVVFFFVVFVVF

INDETERMINACIÓN

Formalice los siguientes argumentos. Una vez formalizados, Haga su tabla de verdad e indique si son válidos (tautologías) o no.

[Los ejercicios están tomados de la excelente introducción a la lógica proposicional de Eulalia Pérez Sedeño.

Eulalia Pérez Sedeño: Ejercicios de Lógica, Madrid: s. XXI de España 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

(pvq)&¬q->pVVVFFVVVVVFVVFVVFVVFFVVFFFFFVFVF

Argumento válido. Tautología.

1. Juan partirá para Japón, si María se queda en Venecia. Rosa viajará a Luxemburgo o Juan no partirá para Japón. O María no se queda en Venecia o Rosa no viajará a Luxemburgo. Por consiguiente, María no se queda en Venecia.

Juan Japón: p
María Venecia: q
Rosa Luxemburgo: r

((q -> p) & (r v ¬p)) & (¬q v ¬r) -> ¬q

((q->p)&(rv¬p))&(¬qv¬r)->¬qVVVVVVFVFFVFFVVFVVVVFFFFVFFVVVFVFVFVVVVVFVVVFVFVVVFFVVFFFFVFVFVVFVVFVFFFVVVFFFVFFVVFVVFFFFVVFFFVVVFVFVFVFVVVVFVVFVFVVVFFVFVFVVFVVFVVFVVF

TAUTOLOGÍA

2. Si la Luna es mayor que la Tierra, la Tierra es mayor que el Sol. Júpiter es mayor que Plutón, si la Tierra es mayor que el Sol. Por tanto, si la Luna es mayor que la Tierra, Júpiter es mayor que Plutón.

Luna mayor: p
Tierra mayor: q
Júpiter mayor: r

(p -> q) & (q -> r) -> (p -> r)

(p->q)&(q->r)->(p->r)VVVVVVVVVVVVVVFVFFVVFFVFFFFVVVVVVVFFFFVFVVFFFVVVVVVVFVVFVVFVFFVFVFFVFVFVVVFVVFVVVFVFVFVF

TAUTOLOGÍA

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)

((p->q)&(q->r))->(r->p)VVVVVVVVVVVVVVFVFFVFVVVFFFFVVVVVVVFFFFVFVFVVFVVVVVVFVFFFVVFVFFVFVFFVFVFVVFVFFFVFVFVFVFVF

INDETERMINACIÓN

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 conclusión, las mujeres sacan ventaja de ello.

Amor ciego: p
Hombres no conscientes: ¬ q
Mujeres ventaja: r

((p & ¬q) v (p & r)) & (¬q -> ¬p) ->r

((p&¬q)v(p&r))&(¬q->¬p)->rVFFVVVVVVFVVFVVVVFFVFVFFFFVVFVVFVVVFVVVVFVFFFVVVVVVFVVFFFVFFFVVFFFFVFFFVFFVVVFVVFFFVFFFFFFVVVFVFFFVFFFFVFVFVVFVVFFVFFFFFFVFVVFVF

TAUTOLOGÍA

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

((p->q)&(¬p->r))&(¬q->¬r)->qVVVVFVVVVFVVFVVVVVVVFVVFVFVVVFVVVFFFFVVVFVFFFVVFVFFFFVVFFVFVVFVFFVVVVFVVVFVVFVVVFVVFVFFFFFVVVFVVFVFVVFVVFVFFFVVFFVFFVFFFFVFVVFVF

TAUTOLOGÍA

6. Cuando Eduardo no juega al baloncesto, juega al tenis; cuando juega al tenis, juega al fútbol; no juega al fútbol. Por tanto, Eduardo juega al baloncesto.

Eduardo baloncesto: p
Eduardo tenis: q
Eduardo fútbol: r

((¬p -> q) & (q ->r)) & ¬r ->p

((¬p->q)&(q->r))&¬r->pFVVVVVVVFFVVVFVVVFVFFFVFVVFVVFVFVVFFVVVFVVFVFVFVVFVVVFVVVVVVFFVVFVFVVFVFFFVFVFVFFFFFVVFFVVFVFFFFFVFFVFVF

TAUTOLOGÍA

7. Si la tormenta continúa o anochece, nos quedaremos a cenar o a dormir; si nos quedamos a cenar o a dormir no iremos mañana al concierto; por consiguiente, iremos mañana 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

(((pvq)->(rvs))&((rvs)->¬t))->tVVVVVVVFVVVFFVVVVVVVVVVVVVVVVFFFVVVVVVFFVVFFFVVVVVVVVVFVVVFVVFFFVVVVFVVFFVVFFVVVVVVVFVVVFVVVVFFFVVVFFFFFFFFVFVVVVVVFFFFFFFFVVFVFVVFVVVVFVVVFFVVVVVFVVVVVVVVVVFFFVVFVVVFVVVFVFVVVVVFVVVFVVVFVVFFFVVFVFVVFFVVFFVVVVVFVFVVVFVVVVFFFVVFFFFFFFFFVFVVVVVFFFFFFFFFVVFVFFVVVVVVFVVVFFVVVFVVVVVVVVVVVVFFFFVVVVVFVVVFVFVVVFVVVVVFVVVFVVFFFFVVVFVVFFVVFFVVVFVVVFVVVFVVVVFFFFVVFFFFFFFFVFVVVFVVFFFFFFFFVVFVFFFFVVVVFVVVFFVVVFFFVVVVVVVVVVFFFFFFVVVFVVVFVFVVVFFFVVVFVVVFVVFFFFFFVFVVFFVVFFVVVFFFVFVVVFVVVVFFFFFFVFFFVFFFVFVVVFFFVFFFVFFFVVFFF