Logika - 2015./16. jesen - 13.
U sljedećemu dokazu provedenom naravnom (prirodnom) dedukcijom odredite što treba pisati u dijelovima koji su označeni trima točkicama (...).
Kao naziv pravila upotrebljavajte oznake 'u' i 'i' napisane ispred logičkoga znaka koji se uvodi ili isključuje (npr. ' $i \vee$ ' za 'isključivanje disjunkcije') te 'op.' za pravilo opetovanja, odnosno ponavljanja, a za oznaku pretpostavke upotrebljavajte 'pretp.'.
Kao naziv pravila upotrebljavajte oznake 'u' i 'i' napisane ispred logičkoga znaka koji se uvodi ili isključuje (npr. ' $i \vee$ ' za 'isključivanje disjunkcije') te 'op.' za pravilo opetovanja, odnosno ponavljanja, a za oznaku pretpostavke upotrebljavajte 'pretp.'.
13.1. U trećem retku treba pisati .
13.2. U četvrtome retku treba pisati .
13.3. U petome retku treba pisati .