En que consiste la logica formal? explica con un ejemplo
Respuestas a la pregunta
La lógica formal es aquella cuyo objeto de estudio son las inferencias de forma técnica mediante la utilización de sistemas deductivos y lenguajes y semánticas formales. La lógica informal, por su parte, estudia sistemas de razonamiento y argumentación naturales a través del lenguaje y el pensamiento cotidiano.
∴El gato es negro, el de mi vecina es blanco, por lo tanto los gatos son blancos y negros.
∴El gusano hace un capullo, por lo tanto este gusano se convierte en mariposa al salir de ese capullo.
∴Las ranas son anfibios. Todos los anfibios son vertebrados. Por lo tanto las ranas son vertebradas.
Respuesta:
La lógica formal es aquella cuyo objeto de estudio son las inferencias de forma técnica mediante la utilización de sistemas deductivos y lenguajes y semánticas formales.
Ejemplo del que respondio arriba pero de una manera mas concreta
La larva de mariposa hace una pupa para asi completar su metamorfosis, por lo tanto la larva se convierte en mariposa al salir de la pupa .