>>19
任意の命題Pに対して、Pの命題関数の真理値が1であること
といった方が適切か。