How to Choose which one is a better answer and which is ideally good answer in propositional logic?
let me tell you the context. Let's take an example.
Use quantifiers and predicates with more than one variable to express these statements.
a) Every computer science student needs a course in Discrete Mathematics.
now there is various possible solution for this statement but following the same logic.
solution 1) if the domain is all the people world, S(x) means x is a student of this school, CS(x) x Is in Computer Science class, DM(x) x takes DM course.
$\forall \left ( S(x)\wedge CS(x)\rightarrow DM(x) \right )$
solution 2) $\forall \left ( P(x) \right )$
where P(x), x needs a course in DM and domain consist of all computer science student.
just by changing domain "in words" the scenario changed here. then how to choose the limit of domain and flexibility of it. How to choose which is one is better?