the basic components in propositional logic are statements.
statements are the basic components of thought
an algorithm that makes locally optimal decisions at each step - a simple but not always correct thing to do.