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)
______________________________
Respuestas a la pregunta
Contestado por
0
Respuesta:
que????????????????????
fanyth3:
hola yo tengo los mismos ejercicios, si lograste resolverlos?
Otras preguntas
Tecnología y Electrónica,
hace 29 días
Geografía,
hace 29 días
Castellano,
hace 1 mes
Matemáticas,
hace 1 mes
Matemáticas,
hace 7 meses
Química,
hace 7 meses
Matemáticas,
hace 7 meses