Question 185877
Note: the symbol *[Tex \LARGE \sim] is used for "not" and *[Tex \LARGE \Rightarrow] is used for "if...then..."



So "If tomorrow is not the day Sara leaves, then today is Monday " translates to "If NOT Q, then P" where NOT Q translates to *[Tex \LARGE \sim Q]. Afterwards, the entire expression translates to *[Tex \LARGE \sim Q \Rightarrow P]



So "If tomorrow is not the day Sara leaves, then today is Monday "  completely translates to *[Tex \LARGE \sim Q \Rightarrow P]