Logika - 2024./25. ljeto - 12.
U sljedećemu dokazu provedenom naravnom (prirodnom) dedukcijom odredite opravdanja koja nedostaju u redcima u kojima su upisane tri točkice (...).
Kao naziv pravila upotrijebite oznake 'u' i 'i' napisane ispred logičkoga znaka koji se uvodi ili isključuje (npr. 'i v' za 'isključenje disjunkcije') te 'op.' za 'pravilo opetovanja' (ponavljanja, reiteracije), a za oznaku pretpostavke upotrijebite 'pretp.'.
12.1. U trećem retku treba pisati .
12.2. U četvrtome retku treba pisati .
12.3. U petome retku treba pisati .