Directory
References
Discover
substitution-instance
logic
Learn about this topic in these articles:
axiomatization of lower predicate calculus
- In formal logic: Axiomatization of LPC
By an LPC substitution-instance of a wff of PC is meant any result of uniformly replacing every propositional variable in that wff by a wff of LPC. Thus, one LPC substitution-instance of (p ⊃ ∼q) ⊃ (q ⊃ ∼p) is [ϕxy ⊃ ∼(∀x)ψx] ⊃ [(∀x)ψx ⊃ ∼ϕxy]. Axiom…
Read More
validity of well-formed formulae
- In formal logic: Validity in PC
…resulting wff is called a substitution-instance of α. Thus [p ⊃ (q ∨ ∼r)] ≡ [∼(q ∨ ∼r) ⊃ ∼p] is a substitution-instance of (p ⊃ q) ≡ (∼q ⊃ ∼p), obtained from it by replacing q uniformly by (q ∨ ∼r). It is an important principle that, whenever a…
Read More