I'm trying to understand what imp1 is or how it is used. I'm unable to find further information in my textbook and this is an exercise question.
Question: Provide further motivation for defining p → q to be true when p is false For the first change, we call the resulting operator imp1.
Show that p imp1 q logically equivalent q imp1 p.
(BTW if anyone can direct me to the help section on how to use math symbols in a post I would greatly appreciate it so these questions make more sense).