Que es La lógica

Es la ciencia formal y rama tanto de la filosofía como de las matemáticas que estudia
los principios de la demostración y la inferencia válida,1 las falacias, las paradojas y
la noción de verdad.2

La lógica matemática es la rama más matemática de la lógica, que estudia la

inferencia mediante sistemas formales como la lógica proposicional, la lógica de
primer orden y la lógica modal. La lógica computacional es la aplicación de la lógica
matemática a las ciencias de la computación. La lógica filosófica utiliza los métodos
y resultados de la lógica moderna para el estudio de problemas filosóficos.

para qué sirve la lógica en matemáticas

La lógica matemática es simplemente la formalización de los razonamientos que
hacemos en el lenguaje cotidiano.
En computación TODOS los lenguajes de programación son una forma de escribir
en lógica matemática. Algunos usan una taquigrafía rara, pero todos son, en última
instancia operaciones lógicas. En ingeniería en sistemas automáticos de control.
Hay máquinas físicas que modelan operaciones lógicas y para saber el resultado
de una máquina compleja basta reducirla a sus operaciones lógicas. En filosofía.
Hay argumentos filosóficos extremadamente complejos que al aplicar la lógica
matemática se podría saber su validación.
Que son tablas de la verdad
Tablas de verdad o tabla de valores de verdad, es una tabla que muestra el valor
de verdad de una proposición compuesta, para cada combinación de valores de
verdad que se pueda asignar a sus componentes.

Las tablas de verdad son, por una parte, uno de los métodos más sencillos y
conocidos de la lógica formal, pero la mismo tiempo también uno de los más
poderosos y claros. Entender bien las tablas de verdad es, en gran medida,
entender bien a la lógica formal misma.

P Q ^Q
11 1
10 0
01 0
00 0

Fundamentalmente, una tabla de verdad es un dispositivo para demostrar ciertas

propiedades lógicas y semánticas de enunciados del lenguaje natural o de fórmulas
del lenguaje del cálculo proposicional:
 1. . Sin son tautológicas, contradictorias o contingentes
2. . Cuáles son sus condiciones de verdad
3. . Cuál es su rol inferencial, es decir, cuáles son sus conclusiones lógicas y
de qué otras proposiciones se siguen lógicamente.

Usos de la tabla de verdad

Estas tablas pueden construirse haciendo una interpretación de los signos lógicos
como: no, o, y, si…entonces, sí y sólo si. La interpretación corresponde al sentido
que estas operaciones tienen dentro del razonamiento. Puede establecerse una
correspondencia entre los resultados de estas tablas y la deducción lógico
matemática. En consecuencia, las tablas de verdad constituyen un método de
decisión para chequear si una proposición es o no un teorema. Para la construcción
de la tabla se asignará el valor 1(uno) a una proposición cierta y 0 (cero) a una
proposición falsa.

 Negación: El valor de verdad de la negación es el contrario de la proposición

negada.

 La conjunción sirve para indicar que se cumplen dos condiciones

simultáneamente, por ejemplo:

La función es creciente y está definida para los números positivos, utilizamos Para
que la conjunción p^q sea verdadera las dos expresiones que intervienen deben ser
verdaderas y sólo en ese caso como se indica por su tabla de verdad.

 Disyunción: La disyunción solamente es falsa si lo son sus dos

componentes.

Con la disyunción a diferencia de la conjunción, se representan dos expresiones

que afirman que una de las dos es verdadera, por lo que basta con que una de ellas
sea verdadera para que la expresión p ∨ q sea verdadera.

 Condicional: El condicional solamente es falso cuando el antecedente es

verdadero y el consecuente es falso. De la verdad no se puede seguir la
falsedad.

 Bicondicional:El bicondicional solamente es cierto si sus componentes

tienen el mismo valor de verdad.