In predicate logic, existential generalization[1][2] (also known as existential introduction, ∃I) is a valid rule of inference that allows one to move from a specific statement, or one instance, to a quantified generalized statement, or existential proposition. In first-order logic, it is often used as a rule for the existential quantifier (∃) in formal proofs. Example: "Rover loves to wag his tail. Therefore, something loves to wag its tail." In the Fitch-style calculus: Q ( a ) → ∃ x Q ( x ) displaystyle Q(a)to exists x ,Q(x) Where a replaces all free instances of x within Q(x).[3]
Quine[edit]
Inference rules References[edit] ^ Copi, Irving M.; Cohen, Carl (2005). Introduction to Logic. Prentice
Hall.
^ Hurley, Patrick (1991). A Concise Introduction to
This logic-related article is a stub. You can help by expanding it. |