Lógica matematica

LÓGICA MATEMÁTICA    

PROPOSICIÓN MATEMÁTICA:😔😕😖

Es un concepto de diferentes usos. Pueden tratarse de la manifestación  de algo para que otros individuos conozcan una intención, de la concreción de una propuesta o de un enunciado  que puede resultar falso o verdadero.

Una expresión algebraica que puede acarrear dos valores: ser verdadera o falsa, aunque nunca ambas a la vez.

CUANTIFICADOR 😎😄💛💚

En lógica formal, un cuantificador es una expresión que indica la cantidad de veces que un predicado o propiedad P se satisface dentro de una determinada clase (por ejemplo, pertenencia, equivalencia u   orden). Existen muchos tipos de cuantificadores, entre los más utilizados están:¹​

• Cuantificador Universal

${\displaystyle \forall \,x,y\ldots }$

Para todo x, y...

• Cuantificador existencial

${\displaystyle \exists \,x,y\ldots }$

Existe al menos un x, y...

• Cuantificador existencial único

${\displaystyle \exists !\,x,y\ldots }$

Existe exactamente un x, y...

• Negación del cuantificador existencial

${\displaystyle \nexists \,x,y\ldots }$

No existe ningún x, y...

TABLAS DE VERDAD 😯😤😙😏

Una tabla de verdad, o tabla de valores de verdad, es una tabla que muestra el valor de verdad de una proposicion compuesta, para cada combinación de verdad que se pueda asignar.​

Fue desarrollada por Charles Sainder Peirce por los años 1880, pero el formato más popular es el que introdujo Ludwing Wittgenstein en su lógico, publicado en 1921.

PROPOSICIÓN CONDICIONAL  😃😍😌

Por ejemplo: p: Saco 10 en mi próximo examen. Aplicando la estructura de una proposición condicional si p → q, donde p también es llamada antecedente o hipótesis y q consecuente, obtenemos: Si saco 10 en mi próximo examen entonces obtendré una beca