Logika - 2011./12. jesen - 13.
U sljedećem dokazu provedenom naravnom (prirodnom) dedukcijom odredite koja se pravila primjenjuju u koracima u kojima su opravdanja nepotpuna.
Kao naziv pravila rabite oznake 'u' i 'i' napisane ispred logičkog znaka koji se uvodi ili isključuje (primjerice ' ' za 'isključivanje disjunkcije') te 'op.' za 'pravilo opetovanja'.
Nazive pravila upišite na označena mjesta.
Nazive pravila upišite na označena mjesta.
13.1. U četvrtom retku treba stajati
13.2. U petom retku treba stajati
13.3. U šestom retku treba stajati