真理値
命題、論理式、条件、文、式、φ、帰結、原子式、Ｕ、Ｂ