How would you do the lower two questions, with workings shown? (I'm not very good at discrete maths :l)
Very very grateful for any answers, pointers or help - Thanks in advance
Establish the inference rule known as constructive dilemma which states that from the two hypotheses (P=>Q and R=>S) and (P or R) we can infer (Q or S).
[Hint: you will need to construct a truth table with 16 rows]
Use the rules of inference to show that if A, B, C and D are propositions, the conclusion C or (not D) can be inferred from the four hypotheses , A=>B, B=>(not D), A, B=>C.
The => symbol was meant to be an arrow symbol (but I couldn't find the keyboard short-cut!) meaning "implies". so (P=>Q) is P implies Q.
THANKS for any help!!
...we were on a break