記号論理の意味領域
命題論理の意味領域 (domain)
真理値(truth value)と呼ばれる二種類の記号
{0,1}
から構成される．
1: 真(true)
0: 偽(false)
特殊な命題記号
T, F
...Return
講義の詳細
...Return