|
T5.3 5 of 5 Good. Remember our strategy guideline: When you have a goal sentence of the form 'P>Q', think about deriving it by conditional introduction. This would require assuming the antecedent P and then (sub)deriving its consequent Q. Take me to the next tutorial! |