次： でない，または，かつ 上： 命題と条件 前： 命題関数と真理集合

命題の否定，論理和，論理積

• でない，または，かつ
• 条件の否定，論理和，論理積