1. 〔数学・論理学で〕a proposition
    • 定言命題
    • a categorical proposition
    • 仮言命題
    • a hypothetical [conditional] proposition