Traditional symbolic logic is designed to fit in to a world with few assumptions but many deep theorems. The notation here applies the same idea to non-executable logic and mathematics. The third problem can be handled by people publishing logical systems for the vital trivia of everyday life. Propositions Propositions are statements that can only have one of have two possible meanings - true and false . There are operators that combine two propositions into a single more complex ones.
Definitions imply the equality of two expressions.
Predicates A predicate is a proposition that has one or more variables or constants that represent objects other than the values true and false. However the type of the variable must indicated by a name, not a formula to avoid ambiguities. In programming language we have data types. In logic have types . This turns out to be very useful for writing programs.