Lógica y Algoritmos

Front

¿Qué es la lógica?

Back

La lógica es la disciplina que estudia las condiciones bajo las cuales la verdad de ciertas creencias conduce con certeza a la verdad de alguna otra creencia.

Front

¿Qué es una proposición lógica?

Back

Una proposición lógica es cualquier frase que enuncia algo, que puede ser verdadera o falsa.

Front

¿Cuál es la diferencia entre un enunciado y una proposición?

Back

Un enunciado tiene un estado de verdad o falsedad que se puede establecer de forma inmediata, mientras que una proposición requiere de otros factores para determinar su estado.

Front

¿Qué es un argumento en lógica?

Back

Un argumento está formado por dos proposiciones interdependientes que llevan a una conclusión.

Front

¿Qué es una inferencia?

Back

Una inferencia es una conclusión que se deriva de todas las premisas usadas en un argumento.

Front

¿Qué son los conectores lógicos?

Back

Los conectores lógicos son símbolos que permiten armar proposiciones complejas, como negación, conjunción, disyunción, condicional y bicondicional.

Front

¿Qué es la negación en lógica?

Back

La negación es un operador que modifica una proposición colocándola en el estado opuesto.

Front

¿Qué es la conjunción?

Back

La conjunción es un conector lógico que equivale a 'AND' y es verdadero solo si ambas proposiciones atómicas son verdaderas.

Front

¿Qué es la disyunción?

Back

La disyunción es un conector lógico que equivale a 'OR' y es verdadero si al menos una de las proposiciones atómicas es verdadera.

Front

¿Qué es un condicional en lógica?

Back

Un condicional es una proposición que tiene la forma 'si... entonces...' y es falsa solo si la primera parte es verdadera y la segunda es falsa.