Suponiendo que lo que le preocupa es la diferencia entre la lógica de sentido común y la lógica matemática, la respuesta es sí .
La lógica formal debe cubrir los vacíos y las lagunas en la lógica de sentido común (derivada de la semántica del idioma que habla) que no son parte del lenguaje cotidiano.
p.ej. Cuando alguien dice “aprobaré la clase si obtengo una calificación aprobatoria”, generalmente significa “aprobaré la clase solo si obtengo una calificación aprobatoria”. En la conversación diaria, esto es suficiente para comunicar nuestros pensamientos. Pero implícito en tal acto está la suposición de que el inverso (lógica) de una declaración es siempre cierto, lo que en lógica formal es blasfemia.
- ¿Cuáles son los impactos de resolver el problema P = NP en la criptología?
- ¿Cuáles son las cuatro aplicaciones prácticas de la teoría de conjuntos en informática?
- ¿Cómo convertiría un número binario en un número decimal en la menor complejidad de tiempo?
- ¿Puede C (lenguaje de programación) tratar con grandes números?
- ¿Cuál es la diferencia entre un producto cartesiano y una unión disjunta? (Con respecto a los lenguajes de programación)
Así que esto desalienta a las personas cuando lo encuentran por primera vez porque todos piensan que tienen una comprensión natural de la lógica.
Aquí hay un documento con el objetivo de ayudar a corregir eso:
Página en ed.gov