propiedades de las operaciones

PROBLEMAS DE LÓGICA PARA PRINCIPIANTES Y MALOS ESUDIANTES

Los problemas que siguen, están ordenados de menor a mayor dificultad. Son ejercicios para adquirir soltura en la ejecución de problemasde lógica formal. Están ordenados en tres categorías. Al inicio de cada bloque se indica con qué reglas pueden resolverse, de modo que al principio se utilizan pocas reglas y al final, todas las másimportantes.

BLOQUE I
EJERCICIOS QUE SE RESUELVEN CON LAS SIGUIENTES REGLAS:
RI , RE, RI, RI , RE


1)

-1 p
-2 q
-3 r


├ (pq)r


2)

-1 pq
-2 rs

├ (ps)q

3)-1 pq
-2 rs

├ (pq)t


4)

-1 p
-2  (rs)
├ (pr)t


5)

-1 pr
-2 ts
3 q
├ (pr)(tq)

6)

-1 pr
-2 ts
-3 q
├ [(pr)(tq)]w

7)

-1 pq
-2 rs

├[(pw)(qt)]s

8)

-1 pq
-2 rs

├ (ps)(rw)

9)

-1 pq
-2 rs
-3 t

├ [(tw)(pu)]s

10)

-1 tw
-2 pu
s

├ s(pu)


BLOQUE II
EJERCICIOS QUE SERESUELVEN CON LAS SIGUIENTES REGLAS:
RI , RE, RI, RI , RE, MP, MT, RE 


11)

-1 pq
-2 ps
-3 qt

├st

12)

-1 pq
-2 ps
-3 qt

├(st)w

13)

-1 pq
-2 ps
-3 qt├(sw)(tu)

14)

-1 pq
-2 sp
-3 tq

├ st

15)

-1 pq
-2 sp
-3 tq

├ (sw)(tu)

16)

-1 pq
-2 sq
-3 tp ├ st
17)

-1 pq
-2 ps
-3 tq├st

18)

-1 pq
-2 st
-3 r(pt)
-4 r

├ (qs)w

19) Demuestra todas las conclusiones diferentes que se proponen para este problema

-1pq
-2 qs
-3 st
-4 ut
-5 pw

├ uq ├[(uq)t]w


├ (uq)t ├ {[(uq)t]w}g

20) Demuestra todas las conclusiones diferentes que se proponen para este problema

-1[(pq)t]s
-2 (ps)w
-3 (qt)u
-4 (wu)g

├ g ├ gw

├g(wu) ├ [g(wu)]f
BLOQUE III
EJERCICIOS QUE SE RESUELVEN CON LAS SIGUIENTES REGLAS:
RI , RE, RI, RI , RE, MP, MT, RE , R.I.A, DEF , DEF


21)

-1 (p—q)
-2 tp
-3...