Next:
Boolean Rules
, Previous:
Equivalence Rules
, Up:
Rules Index
6.3 Predicate Rules
ug
: Universal Generalization
ui
: Universal Instantiation
eg
: Existential Generalization
ei
: Existential Instantiation
bv
: Bound Variable
nq
: Null Quantifier
pr
: Prenex
ii
: Identity
fv
: Free Variable