Plagiar Euclides: no hay un camino real a la lógica.
Realmente solo hay una manera y eso es un trabajo duro. A algunos les resulta más fácil que a otros.
Si intentas aprender lógica como un juego de símbolos, a menudo te quedará con la sensación de que de alguna manera simplemente no entiendes lo que realmente está sucediendo. Creo que es muy importante tener siempre en cuenta los modelos de cualquier lógica, lo que ayuda a comprender por qué los símbolos se pueden combinar de esa manera en particular. Esto ayuda a comprender todas las pequeñas condiciones técnicas que deben cumplirse para aplicar cualquier regla de inferencia particular, como las variables frescas no unidas.
Intenta y sigue algunas pruebas. Empieza pequeño. Sigue estudiándolos hasta que comprendas cada línea y su propósito preciso. Es aún más importante tratar de rehacer estas pruebas usted mismo, sin mirarlas. ¿Dónde te quedaste atascado? ¿Por qué te quedaste atascado? ¿Fue una falta de conocimiento de la lógica o el conocimiento del dominio? El uso práctico de la lógica siempre está ligado a un dominio particular y no saber lo suficiente sobre ese dominio, por supuesto, no es lo mismo que no entender la lógica en sí misma.
- Mis amigos me siguen diciendo que mi apariencia parece una persona perezosa, pero siempre que se me asigna un trabajo, la mayoría de las veces estoy entre las personas que terminaron el trabajo primero. ¿Qué debo hacer para mejorar mi imagen?
- Quiero romper el caparazón de mi personalidad. ¿Qué debo cambiar en mi personalidad?
- ¿Puede un desarrollador perezoso que no trabaja en proyectos paralelos convertirse en un buen desarrollador?
- ¿Es tu trabajo una indicación de quién eres como persona?
- ¿Cuáles son algunas recomendaciones sobre buenos libros de autoayuda?
Algunos textos estándar sobre lógica son siempre un buen punto de partida. Hay mucha variedad aquí.