Ejercicio · ZW-PREDICADO-004 · ★☆☆ Básico
En la lógica de predicados, las variables al inicio...
Elige una opción.
Ver respuesta
- C. No necesitan pertenecer todavía a un conjunto específico
Explicación
En lógica de predicados las variables se introducen sin un conjunto concreto, y el dominio se fija después al interpretar la fórmula.
Repasa el concepto: Predicado
Un predicado \(P(x)\) es una expresión con variables libres que se convierte en proposición al asignarles valores.
\[P(x,y)\in\{\top,\bot\}\]
Más ejercicios de predicado
- ZW-PREDICADO-001 El valor de verdad de un predicado depende de...
- ZW-PREDICADO-002 Al fijar todas sus variables, un predicado se convierte en...
- ZW-PREDICADO-003 ¿Cuál es un predicado de dos variables?
- ZW-PREDICADO-005 ¿Cuál ejemplo depende del valor de x?
- ZW-PREDICADO-006 Un predicado se convierte en proposición al...
- ZW-PREDICADO-007 P(x): x²=4 es un predicado porque...
- ZW-PREDICADO-008 ¿Cuál es una instancia del predicado P(x): x>0?
- ZW-PREDICADO-009 ¿Cuál de estas expresiones es un predicado abierto?