Categoria: formulae.app / Matemáticas / Aritmética / Lógica Matemática
La lógica es la ciencia que estudia los procedimientos para distinguir si un razonamiento es correcto o incorrecto; en este sentido, la Lógica Matemática analiza los tipos de razonamiento utilizando modelos matemáticos con ayuda de las Proposiciones Lógicas.
Una proposición lógica es el conjunto de palabras que, encerrando un pensamiento, tiene sentido al AFIRMAR que es VERDADERO o al AFIRMAR que es FALSO.
Las Proposiciones se clasifican en:
1) Simples o Atómicas
2) Compuestas o Moleculares
Los conectivos lógicos son símbolos que sirven para relacionar o juntar Proposiciones simples (atómicas) y formar Proposiciones compuestas (moleculares).
Conectivo | Nombre | Se Lee |
~ | Negación | no, n es cierto que, no es el caso que, etc. |
∧ ó ∞ | Conjunción | y, pero, sin embargo, además, aunque, etc. |
∨ | Disyunción inclusiva | o, y/o |
∆ | Disyunción exclusiva | o ... o... |
⇒ | Condiciona | entonces, si... entonces..., dado que...... siempre que ..., en vista que ..., implica ..., etc. |
⇔ | Bicondicional | ...si y sólo si ... |