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