二值理论

在经典逻辑中，每一个命题皆取真假二值之一为值，每一命题或者真或者假。