Convert sentence into First order predicate logic.

1.5k Views Asked by At

a) rabin likes only CSit Course b)science course are hard. c)all courses in CSIT are easy d)CSC 101 is a csit course.

1

There are 1 best solutions below

3
On BEST ANSWER

For completeness, I'll write up the answers in the comments: \begin{align*} &a)\qquad (\forall\,x)[(\text{Likes}(\text{rabin},\text{CSit})\;\land\;\text{Likes}(\text{rabin},x))\implies x=\text{CSit}] \\ &b) \qquad (\forall\,x)[\text{TypeOfCourse}(x)=\text{Science}\implies\text{Hard}(x)] \\ &c)\qquad (\forall\,x)[(\text{Course}(x)\;\land\;\text{TypeOfCourse}(x)=\text{CSit})\implies\text{Easy}(x)] \\ &d)\qquad (\forall\,x)[\text{CSC101}(x)\implies\text{CSit}(x)] \\ &e)\qquad (\forall\,x)(\forall\,y)[(\text{DNA}(x)=\text{DNA}(y)\implies x=y)\;\land\;\text{Parent}(x,y) \implies\text{DNAIsDerivedFrom}(y,x)]. \end{align*}