05 / 18 · Make the structure visible
Necessary or sufficient: is registration enough?
Keep sufficient and necessary conditions pointing the right way.
Builds on Not, and, or
Go to practice ↓A question to keep in mind
'You may enter only if registered.' Does being registered guarantee admission?
Not from that rule alone. Registration is required, but there might also need to be a seat available. Necessary means 'you cannot do without it'; sufficient means 'it is enough'. A condition can be necessary without being sufficient.
Let E mean 'entry is permitted' and R mean 'registered'. 'You may enter only if registered' gives E → R: permitted entry requires registration. 'If registered, you may enter' gives R → E: registration is enough. The arrow changes direction because the promise changed.
In general, P → Q makes P sufficient for Q and Q necessary for P. The material conditional is false only at P true, Q false. T means true; F means false. In the practice table, ask whether that forbidden combination occurs, then repeat with the arrow reversed. 'If and only if' requires both directions.
When P is false, the material conditional is true under that assignment: the forbidden combination did not occur. This truth-table result does not establish a cause, a fair policy, or a future promise. Everyday conditions involving time or counterfactuals can require a richer model.
Work through an example
- Let E mean 'entry is permitted' and R mean 'registered'. 'Entry only if registered' gives E → R.
- Imagine a registered visitor when every seat is taken: R is true and E is false. This does not break E → R, so the original rule never guaranteed entry for every registered visitor.
- Permitted entry without registration would break the rule: E true, R false. To also guarantee entry after registration, a separate R → E rule would be needed.
Your turn
0 / 3Compare a conditional with its converse.
Read solution · does not award completion
- P=T, Q=T →
P → Q: T;Q → P: T - P=T, Q=F →
P → Q: F;Q → P: T - P=F, Q=T →
P → Q: T;Q → P: F - P=F, Q=F →
P → Q: T;Q → P: T
The two mixed rows separate the directions. At F,F both material conditionals are true.
'Publish only if reviewed.' P = publish; R = reviewed. Which is the requirement?
Read solution · does not award completion
P → R
Reviewed is necessary for publish. It can still be insufficient when other requirements fail.
In an assignment, P is false and Q true. What does P → Q being true establish?
Read solution · does not award completion
This assignment is not a violation of the material conditional.
A formal truth value and an empirical causal explanation answer different questions.
Bring it back to your own work
Rewrite two requirements from a project using arrows. Name what is necessary and what is sufficient; flag any causal meaning the arrows omit.