Logic/Necessity and sufficiency
From Internet Web School
(Difference between revisions)
(Created page with 'Logic > Necessity and sufficiency == Contents == * Category:Mathematical logic（Wikipedia） * [[wikipedia:Propositional_calcul…') |
|||
| Line 6: | Line 6: | ||
* [[wikipedia:Propositional_calculus|Propositional calculus]] | * [[wikipedia:Propositional_calculus|Propositional calculus]] | ||
* [[wikipedia:Necessary_and_sufficient_conditions|Necessary and sufficient conditions]] | * [[wikipedia:Necessary_and_sufficient_conditions|Necessary and sufficient conditions]] | ||
| + | |||
| + | == Overview == | ||
| + | |||
| + | * Necessary : If "α→β" then "β is necessary for α". | ||
| + | * Sufficient : If "α→β" then "α is sufficient for β". | ||
| + | * Necessary and sufficient : If "α⇔β" then "α is necessary and sufficient for β". | ||
== CAI Exercise == | == CAI Exercise == | ||
Latest revision as of 08:36, 23 May 2014
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 β".
