波茨娃尔三值逻辑

英文

Bochvar’s 3-valued logic

简介

一种多值逻辑系统.它由波茨娃尔(Бочевар，В.)于1939年给出的一种三值逻辑系统，规定命题可取真值：0(假)，1(真)和u.波茨娃尔将第三值u解释为有悖论的或无意义的.因而当A取值u时，ᒣA仍取值u;当A，B中有一取值u时A*B(*可以为∨，∧，→，↔之一)恒取值u，其他真值运算与二值逻辑相同.