Logika - 2023./24. jesen - 12.
U sljedećemu dokazu provedenom naravnom (prirodnom) dedukcijom odredite sudove kojinedostaju u redcima u kojima su upisane tri točkice (...), a koji dokaz u cjelini čine točnim.
Kao naziv pravila upotrijebite oznake 'u' i 'i' napisane ispred logičkoga znaka koji se uvodi iliisključuje (npr. ‘iv’ za ‘isključenje disjunkcije’) te ‘op.’ za ‘pravilo opetovanja’ (ponavljanja, reiteracije),a za oznaku pretpostavke upotrijebite 'pretp.'.
12.1. U petome retku treba pisati .
12.2. U devetome retku treba pisati .
12.3. U desetome retku treba pisati .