Logic trong lời nói hằng ngày
Chỉ khi, trừ khi, miễn là: dịch lời nói thường sang câu nếu – thì
"p chỉ khi q" là p → q; "p miễn là q" là q → p; "p trừ khi q" là ¬q → p. Cách tự kiểm: hỏi tình huống nào làm người nói sai lời, rồi đặt mũi tên cho khớp.