ACTIVIDADES DE LÓGICA

Alumno:
Curso:

1.- Realiza las siguientes deducciones

1.- ⊢ ¬a v w

–1. p → ¬q
–2. ¬q → ¬t
–3. ¬t → ¬a
–4. p ∧ s

2.- ⊢ a

–1. p v ¬q
–2. q v r
–3. ¬r ∧ s
–4. p → t
–5. w → ¬t
–6. (¬w ∧ ¬¬s) → a

3.- ⊢ ¬p

–1. p → ¬(q ∧ r)
–2. m v q
–3. s v r
–4. ¬(¬s ∧ ¬m) → t
–5. ¬t ∧ ¬w

4.- ⊢ a ∧ w

–1. m → a
–2. s → w
–3. p ∧ q
–4. p → (m ∧ b)
–5. q → (r ∧ s)

5.- ⊢ (p ∧ r) → t

–1. p → q
–2. r → s
–3. (q ∧ s) → t

2.- Explica con tus palabras las siguientes reglas lógicas:

1
El Modus tollens
El Silogismo disyuntivo
La Reducción al absurdo

3.- Elabora la tabla de verdad y explica si es una verdad lógica. Razona tu respuesta.

a) ¬(p˅p)→q
b) (m˄n)→p
c) p→(p˅q)
d) ((p→q) ˄¬q) → ¬p

4.- Muestra por medio de una tabla de verdad que la regla de ex contadictio quotlibet y
el Silogismo disyuntivo son una tautología