Hi
I have a maths exams coming up, and have a past exam paper which has questions that will be in the exam. There are a total of 2 questions, I want to know the answer and a description on how to do it. Thanks
Consider the following set of hypotheses about a cat called Felix:
If Felix does not get regular attention, he is not happy. If Felix is not happy, he scratches furniture. If Felix scratches furniture, his owner is angry. Felix’s owner is not angry.
a) Using the atomic sentences, express the hypotheses in symbolic form:
E : Felix gets regular attention
C :Felix is happy
F : Felix scratches furniture
A :Felix’s owner is angry
b) Construct a formal proof that the conclusion Felix gets regular attention follows from the given hypotheses.
Tags: