Logic & ProofSets, Logic & Proofs › Logic & ProofConditional statements, proof methods, logical connectives, and quantifiersAll Terms (25)AxiomConclusionConditionalConjectureConjunctionContrapositiveConverseCorollaryCounterexampleDisjunctionExclusiveExclusive orHypothesisif and only ifInclusiveInclusive orProof by ContradictionInductionInverse of a ConditionalLemmaModus PonensModus TolensPostulateQEDTheoremMore in Sets, Logic & ProofsSet Theory19Number Systems & Properties16Bounds, Intervals & Ordering9