判断题 通常用当且仅当来表示充要条件的假言命题。

判断题 “只有p，非q”是必要条件假言命题的一般公式之一。

判断题 “如果1+2=3，那么雪是黑的”为真。