## Foundations of Mathematics## Mathematical and Formal Logic |

## What is a proposition in mathematical logic? |

A *proposition* in mathematical logic is a statement that can be proven to be either true or false. For example, if you say, “the bear is black,” that is a proposition; but the statement “the bear is *x*,” cannot be true or false until a particular value for *x* is chosen; therefore, it is not a proposition.