Related terms:
deduction theorem
rule of inference
modus tollens
elementary propositions
propositional calculus
provable
modus
neg q
rules of inference
neg p
truth table
falsity
vdash
conjunction elimination
reiteration
never believe
proposition p
lor q
apparent variables
sheffer stroke
universal constructions
evaluates to true
conditional connective
must be true
proof of an external world
bounded lattice
particular affirmative
Wikipedia sources:
Deduction theorem
Modus ponens
Propositional calculus
Principia Mathematica
Heyting algebra
Modus tollens
Here is a hand
Psychology of reasoning
Euler diagram
Doxastic logic
Rule of inference
What the Tortoise Said to Achilles
Context for words:
modus
ponens
|
|