主頁

命題邏輯計算機

線上充分必要條件判定器，輸入兩個命題對應的集合包含關係，自動判斷 p 是 q 的充分、必要還是充要條件，附韋恩示意，適合高中邏輯用語學習。

展開更多 ▾
p 充分、q 必要
逗號
逗號

📖 使用教學｜條件

一、定義
A⊆B 即 p 充分。
二、公式與符號
⇒、⇔推出、等價
三、性質與運算規則
  • A⊆B；
  • B⊆A；
  • 雙向；
  • 逆否同。
四、操作步驟
  1. 輸入集合；
  2. 按「判定」；
  3. 也可按「填入範例」。
五、範例
範例：充分不必要。
六、易錯點
方向；
包含；
雙向。

❓ 常見問題｜條件

充分？
p⇒q。
必要？
q⇒p。
充要？
等價。
逆否？
同真假。
例？
充分。
A⊆B？
充分。