PropositionsconceptRelated → Logical implicationRelated → Negation and De Morgan lawsRelated → SetsRelated → Direct proofLeads to → Quantifiers