Modern Logic: An Introduction |
Other editions - View all
Common terms and phrases
a+b+c Affirmative antecedent appear argument assumptions axiomatic categorical syllogisms circuit characteristic circuit matrix Class Calculus column conclusion conditional proof Conjunctive Normal Form consider current flow Deductive Reasoning deductive system definition developed Disjunctive Disjunctive Normal Form elements equations example experience expression false geometry give given set Implication indicate integer Intersection introduced intuitive invalid kind letters Logical Deduction major mathematics meaning meaningful minor premise modern logic Negation notation ɔ q parallel particular postulates probability problems procedure proof proposition Propositional Calculus q ɔ qǝr reasoning refer rigorous rules sentence Simp simply statement Step student substituting switch positions Switching Algebra syllogistic symbols system of logic Table Value Tautology Theorem things tion traditional logic true Truth Table Universal Quantifier Universal Set Universe of Discourse valid syllogism variables Venn Diagram word