TMUALogic & ProofRank #4·Type P

To disprove a 'for all' claim, build a single counterexample that obeys the hypothesis but breaks the conclusion

At a glance

7
Occurrences
questions
5
Years
5
Papers
7
Worked
100%

When this method shows up

Years in which at least one question on this paper triggers the method.

Other top methods in Logic & Proof

See the worked examples

Open this method in the 3-panel methods app to see the demonstration, every linked past-paper question, and how to attack it.

Open method in the TMUA app

Try a method on a real paper

Open the TMUA methods app to see worked examples, linked questions and the 3-panel revision view.

Open TMUA methods