Povijest - 2014./15. jesen - 12.
12. ZADATAK U sljedećemu dokazu provedenom naravnom (prirodnom) dedukcijom odredite sudove koji nedostaju u redcima u kojima su upisane tri točkice (...), a koji dokaz u cjelini čine točnim. Kao naziv pravila upotrijebite oznake 'u' i 'i' napisane ispred logičkoga znaka koji se uvodi ili isključuje (npr. 'iv' za 'isključenje disjunkcije') te 'op.' za 'pravilo opetovanja' (ponavljanja, reiteracije), a za oznaku pretpostavke upotrijebite 'pretp.'.
12.1. U trećem retku treba pisati:
12.2. U četvrtome retku treba pisati:
12.3. UUU šestome retku treba pisati: