Lógica de predicados

Conceptos

• Predicado 10 ejerciciosUn predicado P(x) es una expresión con variables libres que se convierte en proposición al asignarles valores.
• Cuantificador universal 10 ejerciciosDado un predicado P(x) sobre un dominio D, el cuantificador universal afirma que P(x) es verdadera para todo x∈ D.
• Cuantificador existencial 10 ejerciciosDado un predicado P(x) sobre un dominio D, el cuantificador existencial afirma que P(x) es verdadera para algún x∈ D.
• Negación de cuantificadores 10 ejerciciosPara un predicado P(x) sobre D, la negación de un cuantificador intercambia el cuantificador y niega el predicado.
• Orden de cuantificadores 10 ejerciciosPara un predicado P(x,y), el orden de los cuantificadores puede cambiar el valor de verdad de una fórmula.