A lógica de predicados de primeira ordem foi escolhida para representar um conjunto de restrições que um modelo de dados deve satisfazer para se ad...

A lógica de predicados de primeira ordem foi escolhida para representar um conjunto de restrições que um modelo de dados deve satisfazer para se adequar a um novo sistema. A partir disso, considere os predicados notafiscal (v), que representa que v é uma nota fiscal, item (w) que representa que w é um item, e consta (v, w) que representa que w consta em v, para quaisquer variáveis v e w. A partir disso, qual a fórmula que pode ser usada para representar que, em qualquer nota fiscal, consta ao menos um item? Grupo de escolhas da pergunta ∀ x ∀ y (notafiscal (x) ∧ item (y) ∧ consta (x, y)) ∃ x (notafiscal (x) ∧ ∀ y (item (y) ∧ consta (x, y))) ∃ x ∃ y notafiscal (x) ∧ item (y) ∧ consta (x, y) ∀ x (notafiscal (x) → ∃ y (item (y) ∧ consta (x, y))) ∀ x (notafiscal (x) → ∀y (item (y) ∧ consta (x, y)))