EJERCICIOS SOBRE LAS LEYES LÓGICAS O TAUTOLOGÍAS NOTABLES:

1. Hallar la proposición equivalente a:

“La conducta puede ser acción u omisión”
(a) La conducta no es acción ni omisión.
(b) La conducta es acción más no omisión.
(c) La conducta no es acción no obstante es omisión.
(d) No es el caso que la conducta no sea acción ni omisión.
(e) No es cierto que la conducta sea acción o no sea omisión.

2. Hallar la profesión equivalente a:

“Toma decisiones oportunas e inteligentes, pues es libre”
(a) Es libre o toma decisiones oportunas e inteligentes.
(b) No es libre, o toma decisiones oportunas e inteligentes.
(c) Es libre y, toma decisiones oportunas como inteligentes.
(d) No es libre, ni toma decisiones oportunas e inteligentes.
(e) No es libre y, no toma decisiones oportunas o inteligentes.

3. Hallar la proposición equivalente a:

“Tendrá el título universitario o sustenta su tesis”
(a) Sustenta su tesis o el título universitario.
(b) No es el caso que, sustente su tesis y tenga el título universitario.
(c) No es cierto que, sustente su tesis y no tenga el título universitario.
(d) No tiene el título universitario, y sustenta su tesis.
(e) No es verdad que no sustente su tesis o tenga el título universitario.

4. Simbolizar y luego simplificar la proposición:

“Si el conocimiento es hipotético, se prueba; y si se prueba, entonces es eficaz;
luego, es eficaz cuando es hipotético”
a) r b) p  r c) T d) C e) (p  q)  r

5. Simbolizar y luego simplificar la proposición:

“Viene a casa o se va de viaje, pero no viene; en consecuencia se va de viaje”
a) T b) C c) p d) p  q e) p  q
6. Simplificar el esquema:
p  (p  q)

a) p  q b) q  p c) p  q
d) q  p e) p  q
7.Simplificar el esquema:
(p  q)   (r  p)  (q  p)

a) p  q b) p  q c) p  q
d) p e) q

8. Simplificar:
(p  q)  (q  p)  (p  q)

a) p  q b) p  q c) p  q
d) p  q e) q  p
9.Simplificar:
 (p  q)  p  (q  p)  (p  q)

a) p  q b) (p  q) c) p  q
d) p  q e) (p  q)
10.Se define el conector @ como:
p @ q   (p  q)  q   q  q
11.Simplificar el esquema molecular:
  (p  q) @ (t  w) @ q  @ p

a) q b) q c) p
d) p e) p  q

12.Simplificar las siguientes proposiciones utilizando las leyes del álgebra

proposicional.
1)[(∼ 𝑝 ∧ 𝑞) → (𝑟 ∧∼ 𝑟)] ∧∼ 𝑞
2)[(∼ 𝑞 →∼ 𝑝) → (∼ 𝑝 →∼ 𝑞)] ∧∼ (𝑝 ∧ 𝑞)
3) ∼ [∼ (𝑝 ∧ 𝑞) →∼ 𝑞] ∨ 𝑞