EntityQ655328· pop 16· linked from 467 articleswell-formed formulaSign in to savefinite sequence of symbols from a given alphabet that is part of a formal languageConnectionsrecursive setEntityfree and bound variablesEntitysemantic theory of truthEntitymathematical logicEntitypropositional calculusEntityformal languageEntityorder of operationsEntityquantifierEntityPeano axiomsEntityfirst-order logicEntityformal systemEntityalphabetEntityautomated theorem provingEntitysemantics of logicEntitysentenceEntitysignatureEntitystructureEntitysatisfiabilityEntityformation ruleEntitydiagramEntityCategoriesFormal languagesLogical expressionsMathematical logicMetalogicSyntax (logic)