Lgica - Matemtica

La lgica matemtica es una parte de la lgica y las matemticas, que consiste en el estudio matemtico de la lgica y en la aplicacin de este estudio a otras reas de las matemticas. La lgica matemtica tiene estrechas conexiones con la ciencias de la computacin y la lgica filosfica. La lgica matemtica estudia los sistemas formales en relacin con el modo en el que codifican nociones intuitivas de objetos matemticos como conjuntos, nmeros, demostraciones y computacin.

Concepto de proposicin
Es una oracin aseverativa de la que tiene sentido decir que es verdadera o falsa. Expresin verbal que afirma o niega algo. Secuencia finita de signos con significado y sentido de ser calificado como verdadero o falso. Expresin lingstica susceptible de ser calificada de verdadera o falsa. hace referencia explicita a las oraciones aseverativas o enunciativas.

EJEMPLOS:

CIERTOS

1. La raz cuadrada de 4 es 2. 2. Los bebes lloran. 3. Un cuadrado tiene 4 lados. FALSOS 1. Todos los carros tiene 2 ruedas. 2. 20 + 20 = 20. 3. Ningn hombre sabe leer.

LGICA PROPOSICIONAL

En lgica, la lgica proposicional es un sistema formal diseado para analizar ciertos tipos de argumentos. En lgica proposicional, las frmulas representan proposiciones y las conectivas lgicas son operaciones sobre dichas frmulas, capaces de formar otras frmulas de mayor complejidad. Como otros sistemas lgicos, la lgica proposicional intenta esclarecer nuestra comprensin de la nocin de consecuencia lgica para el rango de argumentos que analiza.

Proposiciones compuestas (Disyuncin, Conjuncin, Negacin, Condicional, Bicondicional)

Disyuncin
La disyuncin es un operador que opera sobre dos valores de verdad, tpicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando una de las proposiciones es verdadera, o cuando ambas lo son, y falso cuando ambas son falsas.

p v q (se lee: p o q)

EJEMPLOS: p = El numero 2 es par q = la suma de 2 + 2 es 4 entonces pvq: El numero 2 es par o la suma de 2 + 2 es 4 p = La raz cuadrada del 4 es 2 q = El numero 3 es par entonces pvq: La raz cuadrada del 4 es 2 o el numero 3 es par

CONJUNCIN
La conjuncin es un operador que opera sobre dos valores de verdad, tpicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando ambas proposiciones son verdaderas, y falso en cualquier otro caso. Es decir es verdadera cuando ambas son verdaderas.

p ^ q (se lee: p y q)

EJEMPLOS:
p = El numero 4 es par q = Siempre el residuo de los nmeros pares es 2 entonces p^q: El numero 4 es par y Siempre el residuo de los nmeros pares es 2 p = El numero mas grande es el 34 q = El triangulo tiene 3 lados entonces p^q: El numero mas grande es el 34 y El triangulo tiene 3 lados

NEGACIN
La negacin es un operador que se ejecuta. sobre un nico valor de verdad, devolviendo el valor contradictorio de la proposicin considerada.

EJEMPLOS p: 4 + 4 es igual a 9 -p: 4 + 4 no es igual a 9

p: El 4 es un numero par -p: El 4 no es un numero par

CONDICIONAL
El condicional material es un operador que opera sobre dos valores de verdad, tpicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad falso slo cuando la primera proposicin es verdadera y la segunda falsa, y verdadero en cualquier otro caso. La condicional de dos proposiciones p, q da lugar a la proposicin; si p entonces q, se representa por p q

EJEMPLOS p: llueve q: hay nubes pq: si llueve entonces hay nubes p: Hoy es mircoles q: Maana ser jueves pq: Si Hoy es mircoles entonces Maana ser jueves

BICONDICIONAL

El bicondicional o doble implicacin es un operador que funciona sobre dos valores de verdad, tpicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando ambas proposiciones tienen el mismo valor de verdad, y falso cuando sus valores de verdad difieren.

EJEMPLOS p: 10 es un nmero impar q: 6 es un nmero primo pq: 10 es un nmero impar si y solo si 6 es un nmero primo p: 3 + 2 = 7 q: 4 + 4 = 8 pq: 3 + 2 = 7 si y solo si 4 + 4 = 8