Ejercicios

Resolver los siguientes ejercicios de lógica proposicional en el programa de FREGELOG:

1. p=>¬t,s=>p,s,¬t=>q : q
2. p=>(q^p),(q^p)=>r,p,r=>(svt) : svt
3. ¬p=>¬q,¬p,¬q=>¬t,¬t=>s : s
4. ¬s=>(pvr),(pvr)=>¬(r^q),¬(r^q)=>(p^q),¬s : p^q
5. p=>t,t=>(p=>q),q=>(t=>s),p : s
6. (p=>t)=>r,r=>(t=>q),p=>(p=>t),p : q
7. p=>(p=>q),p : q
8. (p=>q)=>p,p=>q : q
9. (p=>q)=>p,p=>q,q=>s : s
10. p=>(p=>q),(p=>q)=>(q=>s),p : s
11. (q^s)=>q,q=>s,q^s : s
12. ¬¬p=>(¬¬p=>q),q=>(¬¬p=>(q=>r)),¬¬p : r
13. p=>(p=>q),q=>(q=>s),p : s
14. ¬¬p=>(q=>s),q=>(q=>¬¬p),q : s
15. ¬¬s=>(p=>t),s=>¬¬s,¬¬s=>(s=>p),s : t
16. ¬¬p=>(q=>p),q=>(q=>¬¬p),q : p
17. p,¬p,p=>(¬p=>q) : q
18. (p=>(p=>q))=>p,p=>(p=>q),(p=>q)=>(q=>r) : q
19. p=>q,(p=>q)=>(q=>s),(q=>s)=>p : s
20. (p=>q)=>(p=>s),p=>q,(p=>s)=>p,p=>(q=>(s=>t)) : t
21. (p=>(q=>r))=>p,(q=>r)=>q,p=>(q=>r) : r
22. (p=>r)=>(r=>s),(p=>(p=>r))=>p,p=>(p=>r) : s
23. p=>(q=>t),p,q : t
24. p,p=>(s=>q),s : q
25. p=>q,q=>r,p : r
26. p=>¬q,p,¬q=>r : r
27. r=>¬p,q=>r,q : ¬p
28. p,p=>(qvr),(qvr)=>q : q
29. p : (pvq)vs
30. ¬p : p=>q
31. : ¬p=>(p=>q)
32. p : qvp
33. q : p=>q
34. : (pv¬q)=>(q=>p)
35. p : (qvp)vs
36. ¬p,p : q
37. ¬(svt),s : q
38. ¬p : ¬pvq
39. p=>¬q : q=>¬p
40. : (p=>¬q)=>(q=>¬p)
41. p,(svp)=>q : q
42. (qvp)=>(q=>r),q : r
43. p=>q,(p=>q)=>(pvp) : qvr
44. ((qvp)vs)=>p,qvq : p
45. (pvq)=>q,q=>(p=>r),p : (svr)vt
46. ((qvr)vs)=>r,(q=>r)=>s,¬q : r
47. (svs)=>(s=>p),(¬p=>q)=>s,¬¬p : pvp
48. (qvp)=>p,(q=>r)=>q,rvr : p
49. ¬qvp,(q=>p)=>q : rvp
50. s=>((p=>q)=>p),(p=>q)=>s,¬pvq : qvr
51. (pvq)=>r,(rvq)=>s,p : s
52. (pvq)=>(p=>r),p : r
53. pvq,(qvp)=>q : qvr
54. pv¬q,(q=>p)=>q,(pvr)=>r : r
55. (¬pvq)v¬r,(r=>p)=>r,pv¬r : q
56. p=>q,(qv¬p)=>p,(qvr)=>r : r
57. p=>q,(qv¬p)=>p,p=>(¬qvr) : r
58. p=>(¬pvq),(pvq)=>p,qvp : q
59. pv¬q,(q=>p)=>q,(rv¬p)v¬q : r
60. ¬pv(¬pvq),(pvq)=>p,(pvq)v(pvq) : q
61. pv(qvr) : rv(pvq)
62. pv(qvr) : (rvp)vq
63. pv(qvr) : qv(rvp)
64. pv(qvr) : (qvr)vp
65. (qvr)vp : pv(qvr)
66. p=>(q=>¬r) : r=>(p=>¬q)
67. pv(qv¬r),(¬rv(pvq))=>r, : qvp
68. ¬pv(qv¬p),¬qv(sv¬q),p, : s
69. ¬pv(¬qvs),¬qv(pv¬q),q, : s
70. ¬qv(rv¬p),q=>(pv¬q),q, : r
71. ¬(p=>(p=>q))vp,(¬pv¬p)vq,(p=>q)=>(¬qvr), : r
72. p=>(qv¬p),(¬pv(¬pvq))=>p, : rvp
73. (qvp)=>(q=>r),q, : r
74. qv¬p,¬(p=>q)v(sv¬q),(q=>s)=>p, : s
75. ¬(p=>q)v(sv¬p),p=>(q=>(s=>r)),¬(p=>s)vp,qv¬p, : r
76. pv¬(p=>(q=>r)),qv¬(q=>r),rv(¬pv¬q), : r
77. ¬(p=>r)v(r=>s),(p=>(p=>r))=>p,¬pv(rv¬p), : s
78. qv¬p,pvr : qvr
79. pvr,p=>q : qvr
80. p=>q,pvq,(qvr)=>r, : r
81. pvq,p=>r,(qvr)=>p, : r
82. ¬pvq,qv(pvq),¬qv(q=>r) : r
83. pv(¬qvr),qvp,¬rvp, : p
84. q=>(pvr),r=>p,s=>q, : ¬svp
85. p=>(q=>s),p=>q,(p=>s)=>p : s
86. p=>(q=>r),pvr,r=>¬q, : ¬q
87. pvq,qv¬p,(qvp)=>(q=>r), : r
88. s=>p,(p=>q)=>s,(¬pvq)vs, : p
89. qvp,(pvq)=>(¬qvp), : p
90. q,¬(pvq)v(q=>p), : p
91. pv¬q,¬q=>q,p=>q : p
92. (pv¬q)v¬q,(pv¬q)=>q,¬q=>q : p
93. p=>q,r=>s,pvq,(qvs)=>p : p
94. p=>¬q,rvp,r=>¬q,¬¬qvs : s
95. p=>¬¬q,¬¬q=>q : p=>q
96. p=>(q=>t),(q=>t)=>¬p : ¬p
97. p=>¬q,¬¬q,pvs : s
98. (p=>q)=>¬q,p=>q,pvr : r
99. q=>¬p,p=>q,rvp : r
100. vr,p=>q,pvq,s=>¬q : ¬s
101. pv(pvq),¬p,r=>¬q : ¬r
102. vs,pv(rv¬q),¬¬q,(pvr)=>(r=>¬q) : ¬r
103. pv(qvs),¬(qvs),q=>¬p : ¬q
104. p=>¬¬q,¬rv¬q,¬¬r,svp : s
105. p=>¬(pvq),qvp : q
106. (p=>¬q)v¬q,q : ¬p
107. q=>¬(p=>q),p=>q,pvr : r
108. (pv¬q)v¬¬r,pv¬r,¬pv¬q : ¬q
109. ¬(p=>q)vp,p=>q : q
110. pv(¬p=>q),¬p : q
111. q=>(¬qvr),q : r
112. pv(pvq),¬p : q
113. ¬r=>(pvr),r=>q,¬qv¬q : p
114. ¬pvq,¬qv¬r,¬¬rvs,¬¬p : s
115. p=>(¬pvq),q=>(¬qvr),pvp : r
116. pv(¬qvp),¬q=>r,¬rvs,¬p : s
117. (pvr)v¬(p=>q),p=>q,¬q : r
118. ¬(qv¬p)v(q=>r),p=>(qv¬p),p : r
119. ¬(qvs)v(p=>¬q),¬(qvs)vp,qvs : s
120. ¬(p=>q),(p=>q)v(p=>r),(p=>r)=>(r=>s),¬(r=>s)v¬s : ¬r
121. p=>q,r=>p,¬q : ¬r
122. pvq,r=>¬p,¬q : ¬r
123. ¬pv(p=>¬q),r=>q,p : r
124. qvs,¬(qvs)v(p=>q),(qvs)=>¬q : ¬p
125. ¬(p=>q)=>(pvq),p=>(p=>q),¬(p=>q) : q
126. ¬¬(pvq),¬(pvq)v¬q,p=>(¬q=>s) : s
127. ¬p=>¬(qvr),q : p
128. ¬¬(p=>q),¬¬pv¬(p=>q) : s
129. ¬pv¬¬(p=>q),¬qvr,p : r
130. ¬(p=>q)=>q,¬q : ¬p
131. ¬p=>¬(p=>q),p=>q : q
132. ¬(s=>q)=>q,¬(s=>q)=>s,¬q : p
133. ¬r=>¬(r=>s),¬(¬svq)=>¬s,r=>s : q
134. ¬(r=>(p=>s))=>s,¬¬rvs,¬sPre : q
135. ¬p=>r,¬¬¬p : ¬r
136. (pvq)=>¬q,¬¬(pvq) : p
137. p=>¬¬q,¬¬p : s
138. ¬¬p=>q,qvp,pv¬q : q
139. pvq,q=>p,¬¬(p=>r) : r
140. ¬p=>q,¬q,p=>s : s
141. (pvq)=>¬q,¬¬(pvq),¬¬p=>r : r
142. p=>¬¬(p=>q),pvq,q=>p : q
143. ¬¬(pvq),¬(pvq)v¬q,p=>(¬q=>r) : r
144. ¬(p=>q)=>¬p,¬qvr,¬¬p : r
145. ¬(p^q),¬(¬p^q),¬r=>q : r
146. ¬(pvq)=>p,p=>q,p=>¬q : q
147. ¬p=>¬(p=>q),¬r=>¬q,p=>q : r
148. p=>¬¬(p=>q),¬(q=>r)=>¬(p=>q),p : r
149. ¬p=>¬r,¬(¬r=>q)=>p,¬p : q
150. ¬(qvq)=>p,¬p : q
151. ¬(pvp),¬p=>¬q,s=>q : ¬(svq)
152. pv(qvs),¬p^¬q : s
153. (pvq)^¬q,s=>¬p : ¬s
154. p=>(¬qv¬p),(¬s=>q)^p : s
155. p=>¬(¬p=>q),(svq)=>r,¬p=>q : r^¬p
156. (q^s)=>p,(¬sv¬q)=>s,¬p : ¬(qvp)^s
157. ¬p=>¬(qvq),q^(p=>r) : q^r
158. (¬p=>¬r)^¬p : ¬(r^q)
159. (¬pvq)=>s,¬s^(p=>r) : ¬q^r
160. ¬((pvq)v¬r),r=>(¬p=>s) : ¬(¬svq)
161. (p=>q)^¬q,¬(¬q=>r)=>p : r^¬q
162. ¬(¬pvq),¬(r=>q)=>¬p : ¬r
163. (pvq)=>¬r,r=>p,s=>q,rvs : ¬(r^p)
164. r^s,r=>¬p,sv¬q : ¬(pvq)
165. ¬(pvq),¬q=>p : q
166. ¬(p=>q),p=>(¬q=>r),sv¬r : s
167. p^q,p=>(q=>r),q=>(s=>¬r) : ¬s
168. ¬(p^q)=>¬(p=>r),p=>(q=>(r=>s)),p=>r : s
169. p=>q,p^(q=>r) : r^q
170. q=>(p=>s),q^¬s : ¬p
171. ¬p=>¬(p=>q),(p=>q)^(q=>s) : q^s
172. ¬p=>q,¬q^r,p=>(r=>s)r : s
173. ¬(p=>q)=>¬p,¬(p=>r) : p^q
174. ¬(p=>q)=>q,¬(r=>q) : ¬(pvq)
175. ¬p=>¬(p=>q),¬(¬pvr)=>¬q,p=>q : (p^q)^r
176. ¬(p=>q)=>(rvs),r=>(p=>q),¬(p=>q) : ¬r^s
177. (p=>q)=>p,(p^q)=>r,p=>q : r
178. p=>(p=>r),r=>¬p : ¬p
179. (pvp)=>¬p,¬q=>p : q
180. ¬¬p=>q,¬¬p=>¬q,¬p=>q : q
181. p=>¬q,¬q=>q,¬p=>s : s
182. ¬(p^q),¬p=>r : q=>¬(¬rvp)
183. (s^t)=>¬t,¬s=>p : t=>p
184. ¬(¬p^q)=>¬(p^q) : p=>¬q
185. ¬(q^p)=>r : ¬p=>r
186. ¬(pvq)=>p : ¬p=>¬q
187. (¬pvq)=>¬(qvs),¬s=>(¬q=>p) : (¬pvq)=>r
188. ¬p=>¬(p=>q),(rvp)=>¬p : (p=>q)=>¬r
189. ¬p=>r,¬q=>r : ¬(p^q)=>r
190. ¬p=>(¬q=>p), : ¬(p^p)=>q
191. ¬(p=>q)=>¬p : p=>(p^q)
192. ¬q^r,p=>(r=>s) : (¬p=>q)=>s
193. ¬p=>¬q,s=>q : ¬(pvp)=>¬s
194. ¬p=>(r=>q) : ¬(pvq)=>¬r
195. ¬p=>¬q,(pvq)=>(qvr) : ¬(qvr)=>¬p

Entradas recientes
Archivos
programas para aprender lógica