substitution
Sign in to saveconcept in logic; syntactic transformation on formal expressions
Connections
formal system
Entity
semantic theory of truth
Entity
mathematical logic
Entity
propositional calculus
Entity
proposition
Entity
first-order logic
Entity
universal quantification
Entity
recursive set
Entity
list of logic symbols
Entity
semantics of logic
Entity
structure
Entity
ground expression
Entity
diagram
Entity
mathematics
Entity
philosophy
Entity
logic
Entity
algebra
Entity
truth
Entity
International Standard Book Number
Entity
probability
Entity