Primjenom identiteta iz algebre iskaza, dokazati slijedeću jednakost: .
(Izdanje XX)
Izrada:
Prvo pitanje glasi: da li je zbilja gornja jednakost dokaziva nekom "akrobacijom", tj. da li ima smisla?
Pod pretpostavkom da je u pitanju štamparska greška, pravilna jednakost po meni glasi ovako: pa imamo . Potpuno se isti rezultat dobiva i kada se umjesto konjukcije stavi disjunkcija između dvije negacije najvišeg nivoa na lijevoj strani jednakosti .
Drugo pitanje glasi: može li se, polazeći od navedenog izraza iz knjige, dobiti ispravna jednakost, ali sa manjim brojem modifikacija nego što je onaj kojeg sam ja izveo?