|We frequently come across statements like:|
"If p then q" are called conditional statements and denoted as p=>q and read as p implies q.
Truth table for a conditional
A statement of the form "p if and only if q" are called biconditional statements and are denoted by p<=>q.
Regarding the truth values of p=>q and p<=>q, we have
Directions: Answer the following.