Lógica matemática

Flowchart nodes

• Descarga (binary/octet-stream)

• lógica matematica 

• lógica inferencial

• razonamientos lógicos

• leyes de la infrencia lógica

• inferencia  lógica

• Es sacar una consecuencia de otra cosa o dicho de otra forma conducir a otro resultado, la inferencia nace a partir de una evaluación mental entre varias expresiones  que al ser relacionadas como abstracciones logran trazar una aplicación lógica.

• Es un razonamiento que a partir  de un conjunto de proposiciones llamados premisas se obtiene un resultado llamado conclusión, o la conclusión es consecuencia de las premisas, es decir, si las premisas todas son verdaderas entonces las conclusiones que se derivan de ellas logarítmicamente son verdaderas, pero si una o mas son falsas la conjunción de toda la premisa seria falsa por lo tanto la conclusión puede ser falsa o verdadera.  

• Es una cadena de dos o mas proposiciones relacionadas de tal manera que una de ellas se deriva de las demás.

• - Modo ponendo ponens (MPP). - Modo tollendo tollens (MTT). - Modo Tollendo ponens (MTP). -Silogismo hipotético(SH).