Logika - 2011./12. ljeto - 13.
U sljedećem dokazu provedenom naravnom (prirodnom) dedukcijom odredite što treba pisati u dijelovima koji su označeni trima točkicama (...).
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', a za oznaku pretpostavke rabite 'pretp.'
13.1. U trećem retku treba stajati .
13.2. U šestom retku treba stajati
13.3. U jedanaestom retku treba stajati