Page 1 of 1
QUESTION 5 [5] Show that the following set of formulas is consistent by constructing either a mathematical or a non math
Posted: Mon Jul 11, 2022 12:07 pm
by answerhappygod
- Question 5 5 Show That The Following Set Of Formulas Is Consistent By Constructing Either A Mathematical Or A Non Math 1 (31.72 KiB) Viewed 41 times
QUESTION 5 [5] Show that the following set of formulas is consistent by constructing either a mathematical or a non mathematical model where both formulas are true. Take A, the universe of concrete values, as the set of all integers. Note that the formulas involve two predicate symbols and a function symbol. x(Q(x, f(x))→→ ¬Q(f(x), x)) Ex (S(x) Q(x, y))