Hello everyone,
I have noticed a typo while I was going through a recap of the Question 6 on Tutorial 2 about the negation of the implication today in the lecture after the break.
As you can see in the solutions provided, the negation of "p->q" is: "p and (not q)". * not the other way around *
I have also appended a screenshot of the recording to highlight it in case any of us might be mixed up.
Many thanks and best wishes,
Dimitris
