Logical implicationconceptRelated → PropositionsRelated → QuantifiersLeads to → Proof by contraposition