Question

por favor necesito q alguien me explique ejercicios con la tabla de la verdad:ejemplos

Answer 1

Ejercicios resueltos de tablas de verdad y formalizaciónBY EUGENIO SÁNCHEZ BRAVO ON 25 OCTUBRE, 2008 • ( 25 COMENTARIOS )EJERCICIOS DE TABLAS DE VERDAD Y FORMALIZACIÓN MÁS TABLAS DE VERDADConstruya 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->pVVVVVVFFVVFFVVFFFFVFTAUTOLOGÍA2.(p->q)&(p&¬q)VVVFVFFVVFFFVVVFFVVFFFFVFVFFFFVFCONTRADICCIÓN3.pv(q->r)VVVVVVVVFFVVFVVVVFVFFVVVVFFVFFFVFVVFVFVFINDETERMINACIÓN4.(p->q)&q->pVVVVVVVVFFFFVVFVVVVFFFVFFFVFINDETERMINACIÓN5.(p->q)&(q->r)->(p->r)VVVVVVVVVVVVVVFVFFVVFFVFFFFVVVVVVVFFFFVFVVFFFVVVVVVVFVVFVVFVFFVFVFFVFVFVVVFVVFVFVFVFVFVFTAUTOLOGÍA6.(p->q)&¬p->¬qVVVVFVVFVVFFFFVVVFFVVFVFFFVFVFVVFVVFINDETERMINACIÓN7.p->(q->r)VVVVVVFVFFVVFVVVVFVFFVVVVFVVFFFVFVVFVFVFINDETERMINACIÓN8.¬(pvq) <->¬p&¬qFVVVVFVFFVFVVFVFVFVFFFVVVVFFFVVFFFVVFVVFTAUTOLOGÍA9.pvq->(rvs->p)VVVVVVVVVVVVVVVFVVVVVVFVVVVVVVVFFFVVVVFVVVVVVVVFVVVFVVVVFVFVVVVVVFVFFFVVFVVFVVVFFFVVFVVFFFFVVFFVVFFFVVVFFFVFFFFVVVVFFFFFVVVFFFFFFVFVVFFFFFVFFFVFINDETERMINACIÓN10.¬(pvq)<->¬pv¬qFVVVVFVFFVFVVFFFVVVFFFVVFVFVFVVFFFVVFVVFINDETERMINACIÓNFormalice 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->pVVVFFVVVVVFVVFVVFVVFFVVFFFFFVFVFArgumento 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)->¬qVVVVVVFVFFVFFVVFVVVVFFFFVFFVVVFVFVFVVVVVFVVVFVFVVVFFVVFFFFVFVFVVFVVFVFFFVVVFFFVFFVVFVVFFFFVVFFFVVVFVFVFVFVVVVFVVFVFVVVFFVFVFVVFVVFVVFVVFTAUTOLOGÍA2. 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)VVVVVVVVVVVVVVFVFFVVFFVFFFFVVVVVVVFFFFVFVVFFFVVVVVVVFVVFVVFVFFVFVFFVFVFVVVFVVFVVVFVFVFVFTAUTOLOGÍA3. 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