Внезапно осознал, что как части речи, слова
true и особенно
false - прилагательные. Таким образом, американские логические переменные принимают значения не "истина" и "ложь" (
truth и
falsehood соответственно), а "истинный [неизвестно что]" и "ложный [неизвестно что]".