A proposition can have the following truth values: true or false. "P" is true if and only if P. "P" is false if and only if not P. In other words, a proposition is true if and only if what it says about the world is in fact the way the world is. Though this correspondence view of truth has long been questioned, and especially so in these postmodern times, it remains our common sense, everyday understanding of truth.
- The proposition "Snow is white" is true if and only if snow is white.
- The proposition "Snow is white" is false if and only if snow is not white.