たちろんりがく【多値論理学】

真·偽の二値しかもたない通常の形式論理学に対し，n個ないし無限の値をとる命題を対象とする論理学。1920年代ルカーシェビチの三値論理学(真·真偽不定·偽)に始まり，相論理学へと発展した。→相論理学·二値論理学多值逻辑。相对于只有真假二值的通常的形式逻辑学，指取n个乃至无数个值的命题为对象的逻辑学。始于20世纪20年代卢卡西维茨提出的三值逻辑(真、真假不定、假)，后发展成为模态逻辑学。

单词	たちろんりがく【多値論理学】
释义	たちろんりがく【多値論理学】真·偽の二値しかもたない通常の形式論理学に対し，n個ないし無限の値をとる命題を対象とする論理学。1920年代ルカーシェビチの三値論理学(真·真偽不定·偽)に始まり，相論理学へと発展した。→相論理学·二値論理学多值逻辑。相对于只有真假二值的通常的形式逻辑学，指取n个乃至无数个值的命题为对象的逻辑学。始于20世纪20年代卢卡西维茨提出的三值逻辑(真、真假不定、假)，后发展成为模态逻辑学。
随便看	家書家来家构え家柄家格家業家母家法家父家父長制家父長権家猫家産家産制度家畜家畜人工授精師家畜法定伝染病家白蟻家相家督家督相続家禄家禽家移り家筋