「もしsがpならば、QはRである」という形式をとる仮言的判断において、「QはRである」の部分をいう。⇔前件