Logic/Necessity and sufficiency
From Internet Web School
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 β".