Notes from my discrete math class in, most likely was planning on writing a program that would automatically create a truth table for me.

read more

Propositions are statements that themselves have truth values.

Compound propositions are also propositions in that they have truth values, but they are formed by adding other propositions together.

Can we break up every proposition into constituent parts? Is there a point where we cannot break it up any more?

Connectives are what form compound propositions. They are disjunctions (or) and conjunctions (and).