Question

introduciòn a logica simbolica​

Answer 1

Respuesta:

A la lógica formal, en su actual estado de desarrollo, se le conoce como lógica simbólica o lógica matemática, nombres que hacen alusión a su uso sistemático del simbolismo y al parecido de sus procedimientos con los de la matemática (de la cual, sin embargo, no es una rama o disciplina).

La introducción a la lógica puede orientarse hacia la lógica formal o hacia la lógica informal. La primera es precisa pero difícil de aplicar a argumentaciones cotidianas; la segunda busca ser más aplicable, pero es menos precisa. Ambas tienen que ver con la relación de inferencia entre premisas y conclusión.