Introduction to Logic |
Contents
The Sentential Connectives | 1 |
Sentential Theory of Inference | 20 |
Symbolizing Everyday Language | 46 |
Copyright | |
9 other sections not shown
Other editions - View all
Common terms and phrases
ambiguous name apply argument assertion atomic sentences axioms binary operation binary relation Chapter commutative commutative law conclusion conditional definition conditional proof consider corresponding Criterion defined definiens derived rule diagrams domain of individuals empty set Ex)Fx example Exercises existential quantifier expression fallacious false formal derivation formula free variables function Geronimo is dead given identity element implication indirect proof individual constants informal proof introduced intuitively logically equivalent Mary mathematics negation notation notion obtain occurrence operation symbols ordered couples positive integers predicate primitive symbols prove R₁ R₂ real number relation symbol replace restriction rules of inference sentential connectives sentential interpretation set of premises statement strict partial ordering subset substitute symmetric tautologically equivalent tautologically implies theorem of logic theory tion transitive translated true truth table universal quantifiers valid