Font size
WorksheetsLógica de Predicados Examen II
Total questions: 14
Worksheet time: 12mins
¿Qué es el cuantificador universal y cómo se representa?
Se representa por el símbolo '∃', que indica existencia en un conjunto.
Un cuantificador universal es un número que representa la cantidad de elementos en un conjunto.
Un cuantificador universal es un operador que se aplica solo a un elemento específico del conjunto y se representa como '∀'.
Un cuantificador universal es un operador que indica que una propiedad se cumple para todos los elementos de un conjunto, representado por '∀'.
¿Qué es el cuantificador existencial y cómo se representa?
Se lee como "Para todos" y se representa con el símbolo de '∀'.
Un cuantificador existencial es un operador que se aplica solo a un elemento específico del conjunto y se representa como '∀'.
Un cuantificador existencial es un operador que se aplica solo a un elemento específico del conjunto y se representa como ∃.
¿Qué es la lógica de predicados?
La lógica de primer orden es un sistema formal que permite distinguir entre sujeto y predicado, haciendo así posible el estudio del contenido de los enunciados.
La lógica de primer orden estudia las proposiciones y no permite el uso de cuantificadores ni conectivos lógicos.
Los componentes principales de la lógica de primer orden son solo números y letras.
La lógica de primer orden estudia los predicados de los enunciados y se basa únicamente en números y operaciones matemáticas.
Los dos tipos de predicados son las Propiedades y las Relaciones.
Verdadero
Falso
¿Qué tipo de predicado es: H(x,y)?
Propiedad
Relación
Cuál es la formalización del enunciado: Todas las plantas tienen hojas.
∀x,P(x) -> H(x)
∃x,P(x) -> H(x)
∀x,H(x) -> P(x)
∀x,P(x) ^ H(x)
En lógica usamos las letras mayúscula para denotar los predicados, y letras minúsculas para denotar a los “sujetos”.
Verdad
Falso
La diferencia entre constantes (a, b, c) y variables (x, y, z) es que las constantes se utilizan cuando no tenemos al sujeto en específico y hacemos referencia a un conjunto.
Verdad
Falso
Selecciona la formalización del enunciado: Todo ingeniero se puede especializar en programación o redes.
∀x, I(x) ^ P(x) v R(x)
∃x, I(x) -> P(x) v R(x)
∀x, I(x) -> P(x) v R(x)
∀x, I(x) -> P(x) ^ R(x)
¿Qué dígitos y letras conforman el sistema numérico Hexadecimal?
0-10, A-F
0-9, A-F
0-9, A-J
1-9, A-F
Determina si la operación es correcta.
Falso
Selecciona la estructura correcta de una Regla en ProLog:
Cabeza = Cuerpo
Cabeza :- Cuerpo
Cuerpo :- Cabeza
Selecciona los Hechos declarados correctamente:
Hombre(juan)
hombre(juan).
PEPE(hombre).
hombre(roberto).
¿Qué tan difícil, o fácil, te resultó el examen?
