strict implication
alethic logic
predicate
connote
material implication
importation
logic operation
linear logic
logical operation
imply
conditional operator
doxastic logic
negation
atomic
thought-bearing
relevance logic
Barcan formula
logical notation
Peirce's law
Philonian conditional
propositional calculus
logistic
semon
group object
formula
anangeon
formal semantics
temporal logic
Boolean atom
NOT gate
zweckrationalität
discourse
epistemic logic
duress of circumstances
threshold element
Church-Turing thesis
threshold gate
doctrine of philosophical necessity
axiomatically
non-classical logic
formal logic
zero-order logic
denotation
sentential logic
conjunction
imperative
explanans
intellectualize
completeness
subcondition