propositions

I want the truth! Since logic is all about the study of true and false, we need some sort of basic type of object that will represent and store these true and false values.

Remember, you’re doing math Now that we have propositions which are the basic items of true and false, we will now define operators that we can use to create functions that take in one or more propositions, and output some truth value that represents the result of “combining” our propositions in different ways.