出典:Wikipedia
出典:『Wikipedia』 (2010/09/29 08:52 UTC 版)
In mathematical logic, a Boolean-valued model is a generalization of the ordinary Tarskian notion of structure from model theory. In a Boolean-valued model, the truth values of propositions are not limited to "true" and "false", but instead take values in some fixed complete Boolean algebra.