اگر $p$ شرط لازم و کافی برای $q$ باشد، کدامیک از گزینههای زیر درست نیست؟
نکته: گزارۀ $p\Leftrightarrow q$ را به صورت «p شرط لازم و کافی برای q است» یا «p اگر و تنها اگر q» میخوانیم. نکته: $p\Leftrightarrow q\equiv q\Leftrightarrow p$ و $p\Leftrightarrow q\equiv \sim q\Leftrightarrow \sim p$ نکته: اگر $p\Leftrightarrow q$ درست باشد، آنگاه ارزش p و q یکسان است.