EntityQ1522579· pop 6· linked from 448 articlessubstitutionSign in to saveconcept in logic; syntactic transformation on formal expressionsConnectionsformal systemEntitysemantic theory of truthEntitymathematical logicEntitypropositional calculusEntitypropositionEntityfirst-order logicEntityuniversal quantificationEntityrecursive setEntitylist of logic symbolsEntitysemantics of logicEntitystructureEntityground expressionEntitydiagramEntitymathematicsEntityphilosophyEntitylogicEntityalgebraEntitytruthEntityInternational Standard Book NumberEntityprobabilityEntityCategoriesAutomated theorem provingConcepts in logicLogical truthLogic programmingPropositional calculusSubstitution (logic)