条件と真理値

 真理値の表現

 真偽の解釈

 真偽を返す関数