Logika - 2018./19. ljeto - 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 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' (ponavljanja, reiteracije), a za oznaku pretpostavke upotrijebite 'pretp.'.
13.1. U prvome retku treba pisati .
13.2. U drugome retku treba pisati .
13.3. U trećemu retku treba pisati .