Discrete Structures20795 marksRules of Inferences
Give the premise 'If it rains or strike holds then the exam will be cancelled. If it doesn't rain then it will be sunny day. The exam was not cancelled. Show that it was sunny day'.
Give the premise 'If it rains or strike holds then the exam will be cancelled. If it doesn't rain then it will be sunny day. The exam was not cancelled. Show that it was sunny day'. [5]
Let us define the propositional variables: - p : It rains - q : Strike holds - r : Exam will be cancelled - s : It will be a sunny day --- No. Premise Symbolic Form ----------------------------- P1 If it rains or strike holds, then exam will be cancelled (p ∨ q) → r P2 If it doesn't rain, then it...