Related terms:
conditional connective
reprinted with commentary
socrates is mortal
problems of philosophy
semantic content
true and false
logical implication
laws of thought
logical disjunction
double negation
second kind
books of the western world
great books of the western
van heijenoort
law of excluded middle
modus ponens
then we
two parts
formal system
Wikipedia sources:
What the Tortoise Said to Achilles
Law of excluded middle
Context for words:
must
be
true
|
|