Ejercicios de lógica proposicional

 Estos 31 ejercicios son de dificultad muy variada. Intenta realizarlos usando solo reglas básicas y si no puedes intentaló con reglas derivadas; obviamente todos los ejerccios se pueden resolver de los dos modo. Los números marcan los supuestos de los que parte el ejercicio y los enunciados que no están numerados es la conclusión a la que debes llegar con esos supuestos. Hay dos ejercicios que no tienen supuestos porque son tautológicos y no necesitan supuestos para ser deducidos.

 

Ejercicio 1

-1) p  q

-2) pr

-3) qr

r

Ejercicio 2

┠ pp

Ejercicio 3

-1) pq

-2) q

┠ ﹁p

Ejercicio 4

-1) pq

-2) qr

-3) r

┠ p

Ejercicio 5

-1) pq

-2) rq

┠ r

Ejercicio 6

-1) (pq)r

┠ pr

Ejercicio 7

-1) qq

┠ q

Ejercicio 8

-1) p(qt)

-2) q

┠ p

Ejercicio 9

-1) (pq)p

┠ p

Ejercicio 10

┠ (pp)

Ejercicio 11

-1) pq

-2) r ﹁q

-3) r﹁q

┠ ﹁p

Ejercicio 12

-1) p(qr)

┠ p(qr)

Ejercicio 13

-1) pr

-2) qp

┠ p(qr)

Ejercicio 14

-1) pq

┠ qp

Ejercicio 15

-1) pq

-2) qp

┠ p

Ejercicio 16

-1) q(rq)

┠ qr

Ejercicio 17

-1) p  q

-2) (mp)  (q  m)

┠ m

Ejercicio 18

-1) (pq)

┠ p﹁q

Ejercicio 19

-1) p(rq)

-2) mp

-3) mrq

┠ p

Ejercicio 20

-1) p(qr)

-2) r

┠ p

Ejercicio 21

-1) (pq)(tq)

-2) q

┠ pt

Ejercicio 22

-1) pq

┠ pq

Ejercicio 23

-1) pq

┠ (pq)

Ejercicio 24

-1) (pq)(rp)

-2) p

-3) qp

┠ r

Ejercicio 25

┠ qq

Ejercicio 26

-1) (pq)

┠ pq

Ejercicio 27

-1) pq

┠ (pq)

Ejercicio 28

-1) (pr)q

-2) q p

┠ q

Ejercicio 29

-1) pq

┠ pq

Ejercicio 30

-1) (rt) q

-2) q (qr)

┠ r

Ejercicio 31

-1) (p (pq))  (qp)

┠ q