一般用語集

一般用語集

にちろんりがく【二値論理学】

項目 にちろんりがく【二値論理学】
意味 〔two-valued logic〕命題の真理値は真か偽の二値のみをとる,とする立場で組み立てられた標準的な論理学。しかし実際の命題の値は必ずしも真偽二値に限らず(例えば「真偽不定」など),ここに多値論理学・様相論理学などが成立することになる。