Numerical argument for auto

Write a goal in minimal proppsitional logic, solvable with auto 6, but not with auto (which is auto 5).

Solution

Look at this file


Going home
Pierre Castéran