Considerando os predicados: professor(x) que significa que 'x é professor', disciplina(x) que significa que 'x é uma disciplina' e leciona(x, y) qu...

Considerando os predicados: professor(x) que significa que 'x é professor', disciplina(x) que significa que 'x é uma disciplina' e leciona(x, y) que significa que 'x leciona y', a restrição 'todo professor leciona uma disciplina' pode ser expressa pela seguinte fórmula da lógica de predicados de primeira ordem:


∀ x ∀ y leciona(x,y) ∧ professor(x) ∧ disciplina(y)
∀ x ∀ y professor(x) ∧ disciplina(y) -> leciona(x,y)
∀ x professor(x) -> ∃ y (disciplina(y) ∧ leciona(x,y))
∀ x professor(x) -> ~ ∃ y (disciplina(y) ∧ ~ leciona(x,y))
∀ x professor(x) ∧ (∃ y disciplina(y) -> leciona(x,y))