Tutorial 2 - Predicates Inference
Tutorial 2 - Predicates Inference
Write the statement using these predicates and any needed quantifiers.
a) Some people are not angry.
b) All tall people are friendly.
c) No friendly people are angry.
d) Some tall angry people are friendly.
e) If a person is friendly, then that person is not angry.
By using the rule of inference and stating justification for each step, establish the valid argument for
the conclusion: We will reach downhill by midnight.
By using the rule of inference and stating justification for each step, establish the valid argument for
the conclusion: Alicia does not study.