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.

3 boda