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