Matemática discreta

¿Cómo se define la validez en razonamientos lógicos?. Correspondencia con la realidad. Estructura lógica del argumento. Conclusión verdadera siempre. Premisas verdaderas siempre.

¿Cómo se representan las variables proposicionales en lógica proposicional?. Con números. Con letras o símbolos como "p", "q" o "r". Con operadores matemáticos. Con frases completas.

¿Cuál de las siguientes leyes pertenece a la lógica proposicional?. Ley de la Identidad. Ley de De Morgan. Cuantificador Universal. Cuantificador Existencial.

¿Cuál es la expresión para el cuantificador universal en lógica de predicados?. ∀x P(x). ∃x P(x). ¬P(x). P(x) → Q(x).

¿Cuál es la operación lógica representada por el conector "^"?. Negación. Conjunción. Disyunción. Implicación.

¿Qué es un predicado en lógica de predicados?. Una proposición simple. Una función que toma uno o más argumentos y devuelve una proposición. Una variable proposicional. Una regla de inferencia.

¿Qué es una proposición en lógica proposicional?. Una afirmación siempre verdadera. Una afirmación siempre falsa. Una afirmación que puede ser verdadera o falsa. Una afirmación que no puede ser evaluada.

¿Qué herramienta se utiliza para evaluar el valor de verdad de una expresión compuesta en lógica proposicional?. Reglas de inferencia. Tablas de verdad. Leyes de la lógica. Cuantificadores.

¿Qué método de demostración se basa en asumir lo contrario y llegar a una contradicción?. Demostración Directa. Demostración Indirecta. Demostración por Contrapositiva. Reglas de Inferencia.

¿Qué representan las variables de predicado en lógica de predicados?. Elementos en un dominio. Operadores lógicos. Variables booleanas. Conectores lógicos.