Logika - 2009./10. ljeto - 13.
U sljedećem dokazu provedenomu naravnom dedukcijom odredite koja se pravila primjenjuju u koracima u kojima su opravdanja nepotpuna. Kao naziv pravila rabite oznake 'u' i 'i' napisane ispred logičkoga znaka koji se uvodi ili isključuje (npr. 'iv' za 'isključivanje disjunkcije') te 'op.' za 'pravilo opetovanja'. Nazive pravila upišite na označena mjesta.
13.1.
13.2.
13.3.
13.2.
13.3.