Implication: Conjunction: Negation: Disjunction: Truth and falsity: Bi-implication: Reductio ad absurdum (proof by contradiction):
