01 / CONDITIONAL REASONING
Sufficient and Necessary Logic tool
Open prototype · Introductory practice. Advanced practice →
PROPOSED CONCLUSION
01 / SUFFICIENT
Enough to guarantee.
A → B: A is sufficient for B.02 / NECESSARY
Required, not promised.
A → B: B is necessary for A.03 / COUNTEREXAMPLE
Rules true. Conclusion false.
One possible world can break an inference.