Logika - 2024./25. jesen - 12.
U sljedećem dokazu provedenom naravnom (prirodnom) dedukcijom odredite opravdanja kojanedostaju 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 iliisključuje (npr. 'i v' za 'isključenje disjunkcije') te 'op.' za 'pravilo opetovanja' (ponavljanja,reiteracije), a za oznaku pretpostavke upotrijebite 'pretp.'.
12.1. U sedmome retku treba pisati
12.2. U osmome retku treba pisati .
12.3. U devetome retku treba pisati