Ejercicio

Páginas: 23 (5618 palabras) Publicado: 4 de diciembre de 2012
ERDAD
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 | -> | p |
V | V | V | V | V |
V | F | F | V | V |
F | F | V | V | F |
F | F | F | V | F |
TAUTOLOGÍA
2.
( | p | -> | q | ) | & | ( | p | & | ¬ | q | ) |
| V | V | V | | F | | V | F | F | V | || V | F | F | | F | | V | V | V | F | |
| F | V | V | | F | | F | F | F | V | |
| F | V | F | | F | | F | F | V | F | |
CONTRADICCIÓN
3.
p | v | ( | q | -> | r | ) |
V | V | | V | V | V | |
V | V | | V | F | F | |
V | V | | F | V | V | |
V | V | | F | V | F | |
F | V | | V | V | V | |
F | F | | V | F | F | |
F | V | | F | V | V | |
F | V | | F| V | F | |
INDETERMINACIÓN
4.
( | p | -> | q | ) | & | q | -> | p |
| V | V | V | | V | V | V | V |
| V | F | F | | F | F | V | V |
| F | V | V | | V | V | F | F |
| F | V | F | | F | F | V | F |
INDETERMINACIÓN
5.
( | p | -> | q | ) | & | ( | q | -> | r | ) | -> | ( | p | -> | r | ) |
| V | V | V | | V | | V | V | V | | V | | V | V | V ||
| V | V | V | | F | | V | F | F | | V | | V | F | F | |
| V | F | F | | F | | F | V | V | | V | | V | V | V | |
| V | F | F | | F | | F | V | F | | V | | V | F | F | |
| F | V | V | | V | | V | V | V | | V | | F | V | V | |
| F | V | V | | F | | V | F | F | | V | | F | V | F | |
| F | V | F | | V | | F | V | V | | V | | F | V | V | |
| F | V |F | | V | | F | V | F | | V | | F | V | F | |
TAUTOLOGÍA
6.
( | p | -> | q | ) | & | ¬ | p | -> | ¬ | q |
| V | V | V | | V | F | V | V | F | V |
| V | F | F | | F | F | V | V | V | F |
| F | V | V | | F | V | F | F | F | V |
| F | V | F | | V | V | F | V | V | F |
INDETERMINACIÓN
7.
p | -> | ( | q | -> | r | ) |
V | V | | V | V | V | |
V | F | |V | F | F | |
V | V | | F | V | V | |
V | V | | F | V | F | |
F | V | | V | V | V | |
F | V | | V | F | F | |
F | V | | F | V | V | |
F | V | | F | V | F | |
INDETERMINACIÓN
8.
¬ | ( | p | v | q | ) | | ¬ | p | & | ¬ | q |
F | | V | V | V | | V | F | V | F | F | V |
F | | V | V | F | | V | F | V | F | V | F |
F | | F | V | V | | V | V | F | F | F | V|
V | | F | F | F | | V | V | F | V | V | F |
TAUTOLOGÍA
9.
p | v | q | -> | ( | r | v | s | -> | p | ) |
V | V | V | V | | V | V | V | V | V | |
V | V | V | V | | V | V | F | V | V | |
V | V | V | V | | F | V | V | V | V | |
V | V | V | V | | F | F | F | V | V | |
V | V | F | V | | V | V | V | V | V | |
V | V | F | V | | V | V | F | V | V | |
V | V | F | V| | F | V | V | V | V | |
V | V | F | V | | F | F | F | V | V | |
F | V | V | F | | V | V | V | F | F | |
F | V | V | F | | V | V | F | F | F | |
F | V | V | F | | F | V | V | F | F | |
F | V | V | V | | F | F | F | V | F | |
F | F | F | V | | V | V | V | F | F | |
F | F | F | V | | V | V | F | F | F | |
F | F | F | V | | F | V | V | F | F | |
F | F | F | V | |F | F | F | V | F | |
INDETERMINACIÓN
10.
¬ | ( | p | v | q | ) | | ¬ | p | v | ¬ | q |
F | | V | V | V | | V | F | V | F | F | V |
F | | V | V | F | | F | F | V | V | V | F |
F | | F | V | V | | F | V | F | V | F | V |
V | | F | F | F | | V | V | F | V | V | F |
INDETERMINACIÓN
Formalice los siguientes argumentos. Una vez formalizados, Haga su tabla de verdad e indique sison 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)...
Leer documento completo

Regístrate para leer el documento completo.

Estos documentos también te pueden resultar útiles

  • Ejercicios
  • Ejercicios
  • Ejercicios
  • Ejercicios
  • Ejercicios
  • Ejercicios
  • Ejercicios
  • Ejercicios

Conviértase en miembro formal de Buenas Tareas

INSCRÍBETE - ES GRATIS