論理学で、ある仮定・条件のもとで立言する判断。「もしsがpならば (前件) 、QはRである（後件）」という形式をとる。仮言判断。定言的判断 選言的判断