EntityQ14235582· pop 13· linked from 31 articlesliteralSign in to savein logic, atomic formula (atom) or its negationConnectionsInternational Standard Book NumberEntityfunctionEntitydigital object identifierEntitymathematical logicEntitypropositional calculusEntitylogical negationEntityfirst-order logicEntityproof theoryEntitypredicateEntityclassical logicEntityBoolean functionEntitytermEntityintuitionistic logicEntityconjunctive normal formEntityresolutionEntityatomic formulaEntityrecursive definitionEntitypropositional variableEntitydouble negationEntitySamuel BussEntityCategoriesLogic symbolsMathematical logicPropositional calculus