Category
page 1Syntax (logic)
variable
value that can change, usually with a context of an equation or operation
formal system
any well-defined system of abstract thought based on the model of mathematics
logical consequence
fundamental concept in logic
well-formed formula
finite sequence of symbols from a given alphabet that is part of a formal language
logical constant
term in logic
metasyntactic variable
placeholder term used in computer science
formal proof
establishment of a theorem using inference from the axioms
syntax
rules used for constructing or transforming the symbols of a formal language
propositional formula
type of logical formula in propositional logic
symbol
basic element of strings in a formal language
atomic sentence
term in logic
formation rule
rule for describing which strings of symbols formed from the alphabet of a formal language are syntactically valid within the language