Logika - 2013./14. 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 upotrijebite oznake 'u' i ‘i’ napisane ispred logičkoga znaka koji se uvodi ili isključuje (npr. 'i $\vee$ ' za 'isključenje disjunkcije') te 'op.' za 'pravilo opetovanja', a za oznaku pretpostavke upotrijebite 'pretp.'.
13.1. U četvrtome retku treba pisati .
13.2. U petome retku treba pisati .
13.3. U šestome retku treba pisati .