logica matematica

QUE ES LÓGICA MATEMATICA

La lógica matemática es la disciplina que trata de métodos de razonamiento. En un nivel elemental, la lógica proporciona reglas y técnicas para determinar si es o no valido un argumento dado. El razonamiento lógico se emplea en matemáticas para demostrar teoremas.

PROPOSICIÓN

Se entiende como proposición cualquier sentencia declarativa que es verdadera o falsa, pero no ambas al mismo tiempo.

Por ejemplo, para las oraciones de uso común:

Considere las sentencias matemáticas:

“3 + 4 = 7”  y   “8 < 4”, de aritmética básica. Se sabe que la primera es cierta, mientras que la segunda es falsa.

NO ES PROPOSICIÓN

Si una frase, no se puede verificar si es verdadero o falso, entonces no es proporción:

Ejemplo: las expresiones con signos de exclamación no son proporción.

SIMBOLIZACIÓN

Toda proposición, puede expresarse con las letras P, Q, R,S T, U …, por ejemplo:

P: El perro es grande

Q: El perro es enojado

Q: mueve la cola

P y Q: ambas proposiciones ocurren simultáneamente.