Logic/Necessity and sufficiency
From Internet Web School
Revision as of UNIQ20dbebfc4d2479a-MathJax-2-QINU2
Logic > Necessity and sufficiency
Contents
Overview
- Necessary : If "α→β" then "β is necessary for α".
- Sufficient : If "α→β" then "α is sufficient for β".
- Necessary and sufficient : If "α⇔β" then "α is necessary and sufficient for β".