Recent content by sparta123

  1. S

    Predicate logic - true or false formulae

    Hello everyone, I can't seem to understand how to do this question. Determine whether the formula F: ∃x∀y(P(x) → x = y) is true or false under each of the following interpretations over the domain D = {a, b}. (i) both P(a) and P(b) are true; (ii) both P(a) and P(b) are false; (iii) P(a) is...
Back
Top