Logikai műveletek gyakorlása bizonyítási feladatokban