In classical logic, we often discuss the truth values that a formula can take.
在经典逻辑中，我们经常讨论一个公式可能接受的真值。