Converse checker

Pick an if-then statement from geometry or numbers, swap it round into its converse, and test either one on random quadrilaterals, triangles, angles or numbers. Hunt through a thousand cases for a counterexample and see why a converse can be false.

Keep it one tap away for everyday use.

Bookmark Converse checker?

Press Ctrl + D now. Your browser opens its own bookmark box, where you choose the name and folder.

  1. Statement
  2. Converse
  3. Hunt
  4. Practise
Nothing is uploadedWorks offline once open

One random figure

    Hunt for a counterexample

    A counterexample is a case where the "if" part is true but the "then" part is false. One is enough to show a statement is false. Finding none in many tries is good evidence, but only a proof makes it certain.

    Show the answer and the reason

    Try this

    • "Square → equal diagonals" is true. Test its converse and look at what the counterexamples are: rectangles and isosceles trapeziums.
    • Find two statements whose converses are also true. Those can be joined with "if and only if".
    • Before pressing a hunt button, decide whether you think the converse is true. Then test.
    • Try "divisible by 3 → divisible by 6". The very first odd multiple of 3 breaks it.

    Check yourself

    Fresh questions every time. Type true or false. Nothing is saved.

      What it does

      Many facts in maths have the form “if P, then Q”: if a quadrilateral is a square, then its diagonals are equal. Swap the two parts and you get the converse, “if Q, then P”: if a quadrilateral has equal diagonals, then it is a square. The converse of a true statement can be true or false, and this page lets you find out by experiment.

      • Pick one of 12 statements about quadrilaterals, triangles, angles and whole numbers.
      • Choose Test the statement or Test the converse; the “if” and “then” parts are shown separately.
      • Make random figures one at a time, with their sides, angles and diagonals measured, and see whether each one agrees.
      • Hunt through 100 or 1 000 random cases for a counterexample: a case where the “if” part is true and the “then” part is false. One counterexample proves a statement false.

      It follows the Class 9 maths chapter on propositions and their converses (statements, proof and counterexamples).

      The quadrilateral facts are easier to see by dragging corners in the quadrilateral explorer; the converse of Pythagoras’ theorem is proved in pythagoras proof playground, and if-then logic itself is in the logic simplifier.

      How to use it

      1. Choose a Statement.
      2. Press Test the converse to swap the parts (or stay on the statement).
      3. Press New random figure a few times. Under the picture you get the measurements and two answers: is the “if” part true, and is the “then” part true? A figure where the “if” part is false tells you nothing, so try another.
      4. Press Test 100 or Test 1 000. The page reports how many cases met the “if” part, and whether any broke the “then” part. If it finds a counterexample, Draw the counterexample shows it in a warning colour.
      5. Open Show the answer and the reason to check yourself.

      A worked example

      Take “If a quadrilateral is a square, then its diagonals are equal.” Every square the page makes has equal diagonals, so the hunt finds no counterexample. The converse is “If a quadrilateral has equal diagonals, then it is a square.” Hunt 1 000 figures: about a third have equal diagonals (squares, rectangles, isosceles trapeziums) and the page soon draws a rectangle with diagonals of the same length that is not a square. So the converse is false.

      Now take “If a quadrilateral is a parallelogram, then its diagonals bisect each other.” Both it and its converse survive every hunt, and both can be proved, so it can be stated as one fact: a quadrilateral is a parallelogram if and only if its diagonals bisect each other.

      Tips

      • Random testing is evidence, not proof: a true direction needs a proof, but a false one needs only one counterexample.
      • Shapes are checked by measuring, the way you would with a ruler and protractor, to a tiny tolerance.
      • Some families (rectangles, kites, isosceles trapeziums) are made on purpose so that the interesting cases turn up often.

      Check yourself

      Four fresh true-or-false questions each time: three converses and one statement. Type true or false (or t / f) and press Check. Nothing is saved.

      FAQ

      Is “if P then Q” the same as “if not Q then not P”? Yes. That is the contrapositive, and it is always true when the statement is. The converse is different.

      Is this from the NCERT book? It covers the same topic with fibub’s own statements and figures. fibub is not part of NCERT.

      Where the numbers come from

      • The statements are standard school geometry and number facts (properties of parallelograms, rhombuses, rectangles and isosceles triangles, Pythagoras' theorem and its converse, divisibility). Written for fibub; the figures are random.
      • Checked by testing every true direction on 3 000 random figures with no counterexample, and finding a counterexample for every false converse (rectangle, kite, parallelogram, 9).

      Standard scientific values, such as constants, atomic weights and melting points, are facts found in every textbook; we name where ours were checked. If you are an author or publisher and want a value, a credit or a table changed or removed, tell us and we will act quickly.

      Last updated 2026-11-09.

      Change log for Converse checker

      1. Add #1281 Statement and converse checker Details on GitHub

      Every change to fibub

      Related tools

      Logic simplifier #T386 Type a Boolean expression or a list of minterms (with don't-cares) and get the truth table, the minimal sum of products and product of sums by Quine-McCluskey (up to 6 variables), a Karnaugh map with the groups circled (2 to 4 variables), the prime implicant chart and a logic gate diagram. Checked against sympy. Pythagoras proof playground #L69 Drag a right triangle and watch the squares on its sides add up. Slide through four visual proofs (rearrangement, Bhaskara, similar triangles, Baudhayana) with your own side lengths, and list Pythagorean triples. Quadrilateral explorer #L83 Drag four corners on a grid and see the sides, the angles adding to 360°, the diagonals and the area, and whether the shape is a square, rectangle, rhombus, parallelogram, kite or trapezium (and which of those it also is). Relation checker #L96 Tap a table or type pairs to build a relation on {1, ..., n}, see it as an arrow diagram, and check reflexive, symmetric, transitive and antisymmetric with a counterexample for every no. Find equivalence classes, closures, and whether the relation is a one-one, onto function. Quadratic explorer #L68 Slide a, b and c and watch the parabola move: vertex, roots and the discriminant update live, completing the square is drawn with tiles, and the middle term is split for you. With fresh practice questions. Trig ratio explorer #L70 Drag the angle of a right triangle and see sin, cos and tan as ratios of its sides, with the exact values at 0°, 30°, 45°, 60° and 90°, the identities checked live, and the full unit circle for Class 11.