Question

MP
a) Demostrar: ¬ q ↔ ¬ t

1. n → ¬ k
2. ¬ k → [ p →( ¬ q ↔ ¬ t)
3. n
4. p
___________________
5. ¬ k → ( ¬ q ↔ ¬ t)
6. ¬ k
7. ¬ q ↔ ¬ t


MT

b) Demostrar: z ↔ c

1. ( m v p ) → ( e v r )
2. ¬ (z ↔ c) → ( m v p )
3. ¬ ( w · q )
4. ( e v r ) → ( w · q )
_______________________



SD

c) Demostrar: R · Y

1. ¬ k v z
2. ( a ↔ b) v ( e ·d )
3. ¬ z v ( r ·y )
4. ¬ ( e ·d ) v k
5. ¬ ( a ↔ b )
_________________________










MP y MT

d) Demostrar: ( c v b)

1. ¬ ( c v b) → ¬ o
2. ¬ m
3. w → m
4. ( p · g ) → o
5. ¬ ( p · g ) → w
__________________________


MT y SD

e) Demostrar: R

1. (w ↔ s ) → ¬ ( p v r )
2. ( w ↔s ) v t
3. ¬ ( p v r ) → z
4. ¬ z
_______________



2. Para resolver con MP, MT y SD
a) Demostrar: m
1. p→(q v r)
2. p
3. ¬ (m v t) → ¬(q v r)
4. ¬ t
_______________

b) Demostrar: q
1. ¬p→ (q v ¬r)
2. p → s
3. ¬s
4. r
________________





c) Demostrar: ¬r

1. {(m v ¬t) →[q v (r→z)]} v ¬[p→ (q v ¬r)]
2. (m v ¬t)
3. p→ (q v ¬r)
4. ¬r
5. ¬z
__________________________________


d) Demostrar: ¬ j

1. 1. j→ ¬ (z v h)
2. 2. m v (z v h)
3. 3. p . q
4. 4. ¬t
5. 5. (p . q) → (m → t)
______________________


e) Demostrar: ¬(t ↔ s)

1. 1. a → (b v c)
2. 2. a v (p . q)
3. 3. ¬(t ↔ s) v ¬ (p ∙ q)
4. 4. ¬(b v c)
______________________________

Answer 1

Respuesta:

que????????????????????