formation rule
Sign in to saverule for describing which strings of symbols formed from the alphabet of a formal language are syntactically valid within the language
Connections
first-order logic
Entity
formal system
Entity
semantic theory of truth
Entity
mathematical logic
Entity
semantics
Entity
formal language
Entity
quantifier
Entity
alphabet
Entity
rule of inference
Entity
recursive set
Entity
well-formed formula
Entity
semantics of logic
Entity
structure
Entity
diagram
Entity
ground expression
Entity
logic
Entity
set theory
Entity
function
Entity
set
Entity
axiom
Entity