Question

Verify (valid or not valid) using resolution the following reasoning: "Every student in the SCIS is a CS student or an IT student. Therefore there is a student in the SCIS being a CS student or an IT student." Note: To model this problem, please use the following predicates: S(x): x is a student; SCIS(x): x is in SCIS; CS(x): x is CS student; IT(x): x is an IT student

Answer 1

Answer:

Please see the attached file for the complete answer.

Explanation:

Download pdf