「命題」は英語ではpropositionと書く。数値が0のとき真の値を返す関数zeropとか、偶数かどうかを判定する関数evenpとか、奇数かとうかを判定する関数oddpとか、そういうcommon lispの関数名末尾のpは多分、propositionの頭文字pからきている。 命題は真か偽…