la lógica simbólica

la lógica simbólica

La lógica se define como la ciencia del razonamiento, o como el estudio de los métodos y principios usados para distinguir el razonamiento correcto del incorrecto.Por su parte, la lógica simbólica es el estudio de la lógica mediante la matemática, es decir, que incorpora la exactitud y rigor matemáticos.

para entender esto mas a fondo tenemos quever las ramas de la lógica y todo sus significados comenzando con una lista .

lógica de predicados
conectivo lógico
precursores de la lógica simbólica
la lógicasimbólica a la dramática

la lógica es la disciplina que estudia los métodos de malformación de conocimiento humano .
en la lógica se estudia para ello existen dos niveles de abstracción segunel grado de detalle que se quiero formalizar : lógica proposicional y lógica de predicados

La lógica de predicados estudia las frases declarativas con mayor grado de detalleconsiderando la estructura interna de las proposiciones , es decir se distinguen .

- que se afirma (predicado o relación ).
-de quien se afirma (objeto)
conectivos lógicos
Un conectivo lógico esuna operación con dos proposiciones. Una proposición es un conjunto de palabras con un sentido del que se puede decir si es verdadero o falso.

Los grillos tienen pasión por Kant, es unaproposición (falsa)

130 es múltiplo de 13, es una proposición (verdadera)

A partir de ellas se puede construir otra proposición con:

a) el conectivo o

Los grillos tienen pasiónpor Kant, o 130 es múltiplo de 13

que es, por definición, verdadera si lo es alguna de las dos.

b) el conectivo y

Los grillos tienen pasión por Kant, y 130 es múltiplo de 13

quees, por definición, verdadera si lo son ambas.
Hay otros conectivos lógicos.

los precursores son todos aquello científicos poetas y matemático de la historia de nuestro mundo