Logika - 2010./11. jesen - 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.
Nazive pravila upišite na označenim mjestima.
13.1.
13.2.
13.3.