Please enable JavaScript.
Coggle requires JavaScript to display documents.
LÓGICA MATEMATICAS - Coggle Diagram
LÓGICA MATEMATICAS
Son estructuras constituidas por variables proposicionales y los operadores lógicos que la relacionan.
-
Se las representa con las letras mayúsculas del alfabeto español A,B,C.
-
-
-
Implicación Lógica
Sean A y B dos formas proposicionales, se dice que A implica lógicamente a B, denotado por A ⇔ B, si y solo si A → B es una tautología.
Equivalencia Lógica
Sean A y B dos formas proposicionales, se dice que A es equivalente lógicamente a B, denotado por A ⇔ B, si y sólo si A ↔ B es una tautología.
-
RAZONAMIENTOS
Proposiciones compuestas que pueden ser representadas por la conjunción de proposiciones denominadas PREMISAS O HIPÓTESIS.
Las PREMISAS o HIPÓTESIS corresponden al antecedente de la implicación, mientras que la conclusión es su consecuente.
Los términos validos y no validos se refieren a la estructura del razonamiento, no a la veracidad o falsedad de las proposiciones.
-