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:14 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 (32.33 KiB) Viewed 26 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. VX (Q(x, f(x)) → ¬Q(f(x), x)) 3x (S(x) Q(x, y))