Substitution [/]

The expression ([/] A x ph) means that every time we see the variable x in the formula φ we replace it with A.

Examples

Definition

Substitution is defined here.

Predicate calculus

Login to edit