Universidad Mariano Glvez

Facultad: Ingeniera en Sistemas Jornada: Plan fin de semana

Curso: Lgica de sistemas Carn: 7690-15-10526
Seccin: B
Nombre: Mynor Evelio Martnez Sinay

Tarea: Resuelva cada uno de los siguientes ejercicios.

1. Construya la tabla de verdad de la siguiente expresin lgica:

(p => q) v (p v r)
p q r q p (p => q) (p v r) (p => q) v (p v r)
1 1 1 0 0 0 1 1
1 1 0 0 0 0 0 0
1 0 1 1 0 1 1 1
1 0 0 1 0 1 0 0
0 1 1 0 1 1 1 1
0 1 0 0 1 1 1 1
0 0 1 1 1 1 1 1
0 0 0 1 1 0 1 1

2. Construya la tabla de verdad de las siguientes expresiones

Lgicas:
p => (q ^ r)
p q r (q ^ r) p => (q ^ r)
1 1 1 1 1
1 1 0 0 0
1 0 1 0 0
1 0 0 0 0
0 1 1 1 0
0 1 0 0 0
0 0 1 0 0
0 0 0 0 0
3. Construya la tabla de verdad de las siguientes expresiones lgicas:
(p => r) (q v p)
p q r r (p => r) (q v p) (p => r) (q v p)
1 1 1 0 1 1 1
1 1 0 1 1 1 1
1 0 1 0 1 1 1
1 0 0 1 1 1 1
0 1 1 0 1 1 1
0 1 0 1 0 1 0
0 0 1 0 1 0 0
0 0 0 1 0 0 1

4. Construya la tabla de verdad de las siguientes expresiones lgicas:

(p ^ q) => (q v r)
p q r p (p ^ q) r (q v r) (q v r) (p ^ q) => (q v r)

1 1 1 0 0 0 0 1 1
1 1 0 0 0 1 1 0 0
1 0 1 0 0 0 0 1 1
1 0 0 0 0 1 0 1 1
0 1 1 1 1 0 0 1 1
0 1 0 1 1 1 1 0 0
0 0 1 1 0 0 0 0 0
0 0 0 1 0 1 0 0 0

5. Cuando viajo entonces me mareo y siempre que me mareo entonces me

da un hambre atroz. As pues, siempre que me da un hambre atroz
entonces viajo.

Viajo: p Mareo: q Hambre: r

[(p => q) ^ (q => r)] =>(r => p)
p q r (p => q) (q => [(p => q) (r => p) [(p => q) ^ (q
r) ^ (q => r)] => r)] =>(r =>
p)

1 1 1 1 1 1 1 1
1 1 0 1 0 0 1 0
1 0 1 0 1 0 0 0
1 0 0 0 0 0 0 0
0 1 1 1 1 1 1 1
0 1 0 1 0 0 1 0
0 0 1 0 1 0 0 0
0 0 0 0 1 0 1 0
6. Determinar si [(~p) ^(p vq)]->q es una TAUTOLOGA
p q ~p (p vq) [(~p) ^(p vq)]
1 1 0 1 0
1 0 0 0 0
0 1 1 1 1
0 0 1 1 1

q no es tautologa

7. Demuestre mediante tablas de verdad si las dos proposiciones siguientes

son equivalentes o no lo son:
- p ^ q -> p
- p v p -> q
p q p^q
1 1 1
1 0 p 0 pvp
0 1 1 0 1
0 0 0 0 0
1 1
- p ^ q -> p 0 0
- p v p -> q
No son equivalentes

8. Determinar si [(p => q) ^ (q => r)] ^ (p => r) es una

CONTRADICCIN
p q r (p => (q => [(p => (p => (p => [(p => q) ^ (q =>
q) r) q) ^ (q r) r) r)] ^ (p => r)
=> r)]
1 1 1 1 1 1 1 0 0
1 1 0 1 0 0 0 1 0
1 0 1 0 1 1 1 0 0
1 0 0 0 1 0 0 1 0
0 1 1 1 1 1 1 0 0
0 1 0 1 0 0 1 0 0
0 0 1 1 1 1 1 0 0
0 0 0 1 1 1 1 0 0

[(p => q) ^ (q => r)] ^ (p => r) si es una contraccin.

9. Determinar si (p => q) <=> (p ^ r) es una CONTINGENCIA
p q r (p => q) (p => q) (p ^ r) (p => q) <=> (p ^ r)
1 1 1 1 0 1 0
1 1 0 1 0 0 1
1 0 1 0 1 1 1
1 0 0 0 1 0 0
0 1 1 1 0 0 1
0 1 0 1 0 0 1
0 0 1 0 1 0 0
0 0 0 0 1 0 0

(p => q) <=> (p ^ r) si es una contingencia

10. Demuestre mediante tablas de verdad si las dos proposiciones

siguientes son equivalentes o no lo son:

- (p => q) ^ (q => r) => (p => r)

- p => (q => r)
p q r (p => q) (q => r) (p => q) ^ (p => r) (p => q) ^ (q =>
(q => r) r) => (p => r)
1 1 1 1 1 1 1 1
1 1 0 1 0 0 0 0
1 0 1 0 1 0 1 0
1 0 0 0 1 0 0 0
0 1 1 1 1 1 1 1
0 1 0 1 0 0 1 0
0 0 1 1 1 1 1 1
0 0 0 1 1 1 1 1

p q r (q => r) p => (q => r)

1 1 1 1 1
1 1 0 0 0
1 0 1 1 1
1 0 0 1 0
0 1 1 1 1
0 1 0 0 1
0 0 1 1 1
0 0 0 1 1

- (p => q) ^ (q => r) => (p => r)

- p => (q => r)
No son equivalentes