https://en.wikipedia.org/wiki/Propositional_calculus#Basic_and_derived_argument_forms