tabla de verdad

Páginas: 10 (2461 palabras) Publicado: 30 de marzo de 2013
Ejercicios resueltos de tablas de verdad y formalización «
Aula de Filosofía de Eugenio Sánchez Bravo
http://w p.me/pmsl1-2y

May 30, 2011

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
V
V
F
F

&
V
F
F
Fq
V
F
V
F

->
V
V
V
V

p
V
V
F
F

)

&
F
F
F
F

TAUTOLOGÍA
2.
(

p
V
V
F
F

->
V
F
V
V

q
V
F
V
F

(

p
V
V
F
F

&
F
V
F
F

¬
F
V
F
V

CONTRADICCIÓN
3.
p
V
V
V
V
F
F
F
F

v
V
V
V
V
V
F
V
V

(

q
V
V
F
F
V
V
F
F

->
V
F
V
V
V
F
V
V

r
V
F
V
F
V
F
V
F

)

INDETERMINACIÓN
4.
(p
V
V
F
F

->
V
F
V
V

q
V
F
V
F

INDETERMINACIÓN

)

&
V
F
V
F

q
V
F
V
F

->
V
V
F
V

p
V
V
F
F

q
V
F
V
F

)

5.
(

p
V
V
V
V
F
F
F
F

->
V
V
F
F
V
V
V
V

q
V
V
F
F
V
V
F
F

)

&
V
F
F
F
V
F
V
V

(

q
V
V
F
F
V
V
F
F

->
V
F
V
V
V
F
V
V

r
V
F
V
F
V
F
V
F

)-> (
V
V
V
V
V
V
V
V

->
V
V
F
V

¬
F
V
F
V

p
V
V
V
V
F
F
F
F

q
V
F
V
F

TAUTOLOGÍA
6.
(

p
V
V
F
F

->
V
F
V
V

q
V
F
V
F

)

&
V
F
F
V

¬
F
F
V
V

p
V
V
F
F

INDETERMINACIÓN
7.
p
V
V
V
V
F
F
F
F

->
V
F
V
V
V
V
V
V

(

q
V
V
F
F
V
V
F
F

->
V
F
V
V
V
F
V
V

r
V
F
V
FV
F
V
F

)

INDETERMINACIÓN
8.
¬
F
F
F
V

(

p
V
V
F
F

v
V
V
V
F

q
V
F
V
F

)

¬
F
F
V
V

V
V
V
V

p
V
V
F
F

&
F
F
F
V

¬
F
V
F
V

TAUTOLOGÍA
9.
p
V
V
V

v
V
V
V

q
V
V
V

->
V
V
V

(

r
V
V
F

v
V
V
V

s
V
F
V

->
V
V
V

p
V
V
V

)

q
V
F
V
F

->
V
F
V
F
V
V
V
Vr
V
F
V
F
V
F
V
F

)

V
V
V
V
V
F
F
F
F
F
F
F
F

V
V
V
V
V
V
V
V
V
F
F
F
F

V
F
F
F
F
V
V
V
V
F
F
F
F

V
V
V
V
V
F
F
F
V
V
V
V
V

F
V
V
F
F
V
V
F
F
V
V
F
F

F
V
V
V
F
V
V
V
F
V
V
V
F

F
V
F
V
F
V
F
V
F
V
F
V
F

V
V
V
V
V
F
F
F
V
F
F
F
V

V
V
V
V
V
F
F
F
F
F
F
FF

INDETERMINACIÓN
10.
¬
F
F
F
V

(

p
V
V
F
F

v
V
V
V
F

q
V
F
V
F

)

¬
F
F
V
V

V
F
F
V

p
V
V
F
F

v
F
V
V
V

¬
F
V
F
V

q
V
F
V
F

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 excelenteintroducció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
(p
V
V
F
F

v
V
V
V
F

q)
V
F
V
F

&
F
V
F

F
V
F
V

q
V
F
V
F

->
V
V
V
V

p
V
V
F
F

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
V
V
F
F
V
V
F
F

->
V
V
V
V
F
F
V
V

p)
V
V
V
V
F
F
F
F

&(
V
F
V
F
F
F
V
V

r
V
F
V
F
V
F
V
F

v
V
F
V
F
V
V
V
V

¬
F
F
F
F
V
V
V
V

p)
V
V
V
V
F
F
F
F

)

&(
F
F
V
F
F
F
V
V

¬
F
F
V
V
F
F
V
V

q
V
V
F
F
V
V
F
F

v
F
V
V
V
F
V
V
V

¬
F...
Leer documento completo

Regístrate para leer el documento completo.

Estos documentos también te pueden resultar útiles

  • Tablas de verdad
  • tabla de la verdad
  • tablas de verdad
  • Tablas De Verdad
  • Las Tablas De Verdad
  • Tablas De Verdad
  • Tablas de la verdad
  • tabla de la verdad

Conviértase en miembro formal de Buenas Tareas

INSCRÍBETE - ES GRATIS