With this solving technique, we will prove the two following assertions:
Each assertion is proved by a chain of simple assertions. The chains are Nishio (Binary) chains, which means that they only involve two contradictory consequences of a single value assumption. The chains may be dynamic, which means that the conclusions of multiple sub-chains are combined.
{7} {8}The details of each chain are given below. Use the view selector below
the grid to switch between the two
Chain 1: If {0}, then {1} (View 1):
{4}
Chain 2: If {0}, then {2} (View 2):
{5}