Predicate calculus - propositions
Let denote the predicate and let denote both with domain of definition N x N.
This is a question I've been given. The question asks for me to translate them all into good English phrases. This I believe I have done correctly. It also asks me to say whether the proposition is true for each.
I have found that each is true, but I find this a bit suspicious, assuming at least one should be false, or maybe they're trying to throw me off (Itwasntme)
So I was wondering, does anyone disagree with my finding that all are true?