Atomic formulaCirquent calculusCornish–Fisher expansionExpression (mathematics)Ground expressionOpen formulaPolish notationPropositionPropositional formulaPropositional functionRule of inferenceRule of replacementSequentT-schemaTautology (language)Tautology (logic)TheoremTheory (mathematical logic)Universal quantificationWFF 'N PROOFWell-formed formula
Link from a Wikipage to another Wikipage
Atomic formulaCirquent calculusCornish–Fisher expansionExpression (mathematics)Ground expressionOpen formulaPolish notationPropositionPropositional formulaPropositional functionRule of inferenceRule of replacementSequentT-schemaTautology (language)Tautology (logic)TheoremTheory (mathematical logic)Universal quantificationWFF 'N PROOFWell-formed formula
subject
Wikipage page ID
34,489,612
Wikipage revision ID
981,771,006
wikiPageUsesTemplate
type
label
Logical expressions
@en
sameAs
broader
prefLabel
Logical expressions
@en