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