>>26
条件は命題ではないの?