 All logics derive from the meanings of terms in sentences. What we now recognize as formal deductive logic rests on the meanings (i.e., the truth-functional properties) of the standard logical terms. These logical terms, and the symbols we will employ to represent them, are as follows: 