Test: Fundamentos de lógica proposicional (18 preguntas)

Explicación

La lógica estudia los métodos y procedimientos que aplican leyes o reglas lógicas para analizar la validez de las inferencias. Las expresiones emocionales pertenecen al estudio general del lenguaje, pero no definen el objeto específico de la lógica.

Explicación

Una inferencia es el producto de la razón mediante el cual se obtienen nuevos juicios a partir de juicios ya establecidos. El dato inicial recibe el nombre de premisa, no de inferencia.

Explicación

Las premisas son proposiciones o datos conocidos que fundamentan la obtención de un nuevo juicio, llamado conclusión. La confusión habitual consiste en invertir esas funciones y considerar la conclusión como punto de partida.

Explicación

Formalizar una inferencia consiste en sustituir sus contenidos particulares por símbolos proposicionales para conservar y analizar su estructura lógica. Añadir ejemplos concretos no constituye el procedimiento de formalización.

Explicación

Es una inferencia inductiva porque parte de casos particulares para formular un enunciado general cuya conclusión tiene cierto grado de probabilidad. La deducción, en cambio, extrae una conclusión incluida en las premisas.

Explicación

La inferencia deductiva parte de una o más premisas y extrae sistemáticamente una conclusión que ya está incluida en ellas. Generalizar más allá de los casos observados corresponde a la inferencia inductiva.

Explicación

Un enunciado puede ser un mandato, una interrogación, una expresión emocional o una afirmación o negación; por eso la orden presentada es un enunciado. Una proposición, en cambio, debe poder ser verdadera o falsa.

Explicación

Un enunciado abierto contiene variables, por lo que no posee un valor de verdad determinado mientras no se asignen valores. Una afirmación concreta puede ser una proposición si resulta verdadera o falsa.

Explicación

Una proposición es un enunciado al que corresponde uno de dos valores de verdad: verdadero o falso, sin que pueda poseer ambos simultáneamente. Las preguntas y órdenes son enunciados, pero no cumplen por sí mismas esa condición.

Explicación

Una proposición compuesta se forma al combinar dos o más proposiciones simples mediante conectivos lógicos. Tener un solo sujeto y un solo predicado sin conectivos describe a una proposición simple o atómica.

Explicación

Un conectivo lógico, también llamado operador lógico, enlaza proposiciones atómicas y no integra el contenido interno de estas. La proposición atómica no contiene conectivos, por lo que no puede confundirse con el símbolo que las relaciona.

Explicación

La negación $\sim p$ modifica el valor de una sola proposición. Los otros conectivos presentados enlazan dos proposiciones, como indican sus dos componentes proposicionales.

Explicación

Una tabla de verdad organiza las combinaciones posibles de las variables proposicionales y muestra el valor obtenido para cada caso. La representación de la estructura simbólica corresponde a la formalización, no a la tabla completa.

Explicación

El número de arreglos se obtiene mediante $2^n$; con cinco variables, $2^5 = 32$. La cantidad de valores de la matriz depende de los conectivos, pero el número de combinaciones depende de las variables.

Explicación

Evaluar un esquema molecular consiste en calcular, a partir de los valores de sus variables, el valor del conectivo de mayor jerarquía. La clasificación como tautología, contradicción o contingencia se determina después al observar la matriz principal completa.

Explicación

Una tautología es un esquema cuya matriz principal resulta verdadera en todas las combinaciones posibles. Un esquema con valores verdaderos y falsos es una contingencia, mientras que uno formado por valores falsos es una contradicción.

Explicación

Una contradicción tiene valores falsos en todas las filas de su matriz principal. La presencia exclusiva de valores verdaderos define una tautología, y la mezcla de ambos valores define una contingencia.

Explicación

La mezcla de valores verdaderos y falsos en la matriz principal caracteriza a una contingencia. Una tautología tendría todos sus valores verdaderos y una contradicción tendría todos sus valores falsos.