Logic/Necessity and sufficiency

From Internet Web School

Revision as of UNIQ14a2b51e59c99707-MathJax-2-QINU2
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

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 β".

CAI Exercise

Retrieved from "http://en.iwschool.org/wiki/Logic/Necessity_and_sufficiency"
Personal tools
In other languages