Logic/Necessity and sufficiency

From Internet Web School

Revision as of UNIQ20dbebfc4d2479a-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

Personal tools
In other languages