Logika - 2010./11. ljeto - 13.
U sljedećem dokazu provedenome 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 (primjerice, ‘iv’ za ‘isključivanje disjunkcije’) te ‘op.’ za ‘pravilo opetovanja’. Nazive pravila upišite na označenim mjestima.
13.1.
13.2.
13.3.