Question

Aplicar los métodos (lógicos, tablas de verdad e inferencia) para validar los argumentos del pensamiento lógico.



MP

a) Demostrar: ¬ q ↔ ¬ t



1. n → ¬ k

2. ¬ k → [ p →( ¬ q ↔ ¬ t)

3. n

4. p

___________________







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:

carima amor amistad amable