6.5 Malfari paŝojn

Eĉ se vi konas ekvivalentojn inter formulojn, estas plej bone se vi ne uzas ilin. Ekzemple, se vi skribu la negon de $\neg P$, ne skribu $P$ direkte, sed metu $\neg\neg P$.

Pensu ke nenio estas tiom memvidebla, kaj ke oni povas demandi al vi pruvi derivojn kiajn $P\vdash\neg\neg P$, kie se vi povus uzi la simpligojn, vi preskaŭ ne laborus.

Ekzemple, havante $\neg(A\vee B)$ en linio, la paso al $\neg A\wedge\neg B$ ĉe la sekva estas klarigita per neniu el la 9 reguloj. Tamen, se vi sukcesas pruvi kaj kompreni ke $\neg(A\vee B)\vdash\neg A\wedge\neg B$, vi eble ŝatus aldoni ĝin kiel nova regulo por uzi ĝin ĉe postaj derivoj. Mi aldonos kelkajn el tiaj ĉe sekva sekcio.