Determine the truth value of ∃n∃m(n + m = 5 ∧ n − m = 2) if the domain for all variables consists of all integers.
(a) True
(b) False
The question was posed to me at a job interview.
My doubt stems from Logics in chapter The Foundation: Logics and Proofs of Discrete Mathematics