Está en la página 1de 12

La lógica

¿Qué estudia?
¿Qué es la lógica?
Lógica es una ciencia formal que estudia
la estructura o formas del pensamiento
humano (como proposiciones, conceptos y
razonamientos) para establecer leyes y
principios válidos para obtener criterios de
verdad. Como adjetivo, 'lógico' o 'lógica'
significa que algo sigue las reglas de la
lógica y de la razón. Indica también una
consecuencia esperable natural o normal. 
La lógica matemática
La lógica matemática o lógica simbólica es un lenguaje
matemático que abarca las herramientas necesarias por medio
de las cuales se puede afirmar o negar un razonamiento
matemático.
Es bien conocido que en matemáticas no hay ambigüedades.
Dado un argumento matemático, este es válido o simplemente
no lo es. No puede ser falso y verdadero al mismo tiempo.
¿Qué estudia la La lógica matemática estudia los
sistemas formales en relación con el
lógica modo en el que codifican o definen
nociones intuitivas de objetos
matemática? matemáticos como conjuntos,
números, demostraciones, y
algoritmos, utilizando un lenguaje
formal.
proposiciones
La lógica matemática inicia con el estudio de las proposiciones. Una proposición
es una afirmación que sin ningún tipo de ambigüedad se puede decir si es
verdadera o no. Los siguientes son ejemplos de proposiciones:
 2+4=6.
 52=35.
 En el año 1930 hubo un terremoto en Europa.
La primera es una proposición verdadera y la segunda es una proposición falsa. La
tercera, aun cuando es posible que la persona que la lee no sepa si es verdadera o
inmediatamente, es una afirmación que se puede comprobar y determinar si
realmente ocurrió o no.
Proposición atómica
Una proposición atómica es el tipo más fácil de la sentencia lógica. Similar a una
sencilla oración gramatical, una proposición atómica contiene un sujeto, un
verbo, y con frecuencia un objeto. Por ejemplo, "Jack prepara la cena", "Es
inteligente," y, "Él trajo el vino," son todas las proposiciones atómicas.
 Todos los hombres son mortales
es una proposición atómica porque ninguno de sus elementos componentes es
una proposición. Como podemos observar, una proposición atómica es verdadera
o falsa, y su verdad o falsedad no depende de otras proposiciones, sino de cómo
es la realidad. Si hubiera algún hombre inmortal, la proposición del ejemplo sería
falsa.
¿Qué son Es un símbolo o palabra que se
utiliza para conectar dos fórmulas
conectores bien formadas o sentencias
(atómicas o moleculares), de modo
lógicos? que el valor de verdad de la fórmula
compuesta depende del valor de
verdad de las fórmulas
componentes.
Proposición
molecular
Contienen alguna conjunción gramatical típica o conectiva o el
adverbio negativo ‘no’. Estas se clasifican en conjuntivas,
disyuntivas, condicionales y bicondicionales; si llevan el adverbio de
negación ‘no’ se llaman negativas.
Las proposiciones moleculares son aquéllas que están compuestas
por proposiciones atómicas. Un ejemplo de proposición molecular
sería:
Voy a comprar pan y a tomar un café
Tablas de verdad
Las tablas de verdad es una estrategia de la lógica simple que
permite establecer la validez de varias propuestas en cuanto a
cualquier situación, es decir, determina las condiciones
necesarias para que sea verdadero un enunciado propuesto,
permitiendo clasificarlos en tautológicos (resultan
verdaderos durante cualquier situación) contradictorias (son
enunciados falsos en la mayoría de los casos) o contingentes
(enunciados que no pueden será tantos verdaderos como
falsos no existen tendencia a un solo sentido).
¡Gracias por su
atención!
By: Waneel Puente And Irina Herrera

También podría gustarte