"natural deduction" -
related articles and key terms
Related terms:
lor
biconditional
logically valid
leftrightarrow
logical connectives
propositional logic
Wikipedia sources:
First-order logic
Propositional calculus
Context for words:
natural
deduction