WARNING:
JavaScript is turned OFF. None of the links on this concept map will
work until it is reactivated.
If you need help turning JavaScript On, click here.
This Concept Map, created with IHMC CmapTools, has information related to: CH1, Quantifiers, predicates, Validity kind of quantifiers Universal (for all x), Predicate Logic rules for quantifiers Universal Generalization, Chapter 1 contains propositinal logic, P(x) unary 1 variable, propositinal logic if conclusion is an implication deduction method, Chapter 1 contains Predicate Logic, Quantifiers, predicates, Validity kind of quantifiers Existential (There exist one x), Quantifiers, predicates, Validity predicate P(x), Predicate Logic rules for quantifiers Existential Instantiation, Predicate Logic rules for quantifiers Universal Instantiation, P(x) binary 2 variables, propositinal logic has 2 derivation rules Inference Rule, Predicate Logic rules for quantifiers Existential Generalization, Chapter 1 contains Quantifiers, predicates, Validity, propositinal logic has 2 derivation rules Equivelance Rule