interpretation
valuation
zero-order logic
sentential logic
propositional logic
propositional calculus
lemmatically
existential operator
universal quantifier
existential quantifier
many-valued logic
classical logic
material implication
valuation function
protothetic
ternary logic
formal logic
logical relation
implication
connective
neutrosophic
modality
prealgebra
barbara
operationalism
temporalism
universal proposition
universal
subject
hedonistic calculus
negation
moral arithmetic
utility calculus
hedonic calculus
disjunct
ex falso quod libet
propositionize
consequence
synthetic
synthetical
particular proposition
implicational propositional calculus
calcular
fuzzy logic
mathemic
particular
theorem
contradiction
or
term