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.


This is a web preview of the "The Handy Math Answer Book" app. Many features only work on your mobile device. If you like what you see, we hope you will consider buying. Get the App