Dodatnih 10 EUR POPUSTA na svaki predmet za maturu pri odabiru!

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.
Ovo pitanje nosi 3 boda