prev ----------------------- contents ----------------------- page046 ----------------------- next

  Theorems
            
  Theorem.  If there is more than one solution, 
            the order of deductions can affect
            which solution is deduced.
  Proof.    Obvious.
  
  Theorem.  If there is only one solution, 
            the order of deductions is irrelevant.
            
            Clearly not true.

            Have been trying to find a puzzle where
            one deduction leads to a solution, while
            another deduction leads to a stall where
            progress can only be made by guessing.
            
            

prev ----------------------- contents ----------------------- page046 ----------------------- next