Truth Value of Compound Statements I