The process of eliminating existential quntifier is known as?
Answers
Answered by
0
Answer:
You're thinking of the process known as Skolemization, which eliminates existential quantifiers at the cost of introducing new function or constant symbols in the language.
Similar questions
English,
3 hours ago
Computer Science,
3 hours ago
English,
3 hours ago
Math,
5 hours ago
Environmental Sciences,
5 hours ago
Geography,
7 months ago
Math,
7 months ago