QUESTION 5 [5] Show that the following set of formulas is consistent by constructing either a mathematical or a non math
-
- Site Admin
- Posts: 899603
- Joined: Mon Aug 02, 2021 8:13 am
QUESTION 5 [5] Show that the following set of formulas is consistent by constructing either a mathematical or a non math
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))