Logika - 2017./18. 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.'.
1 | $\forall x((A x \vee B x) \rightarrow C x)$ | pretp. |
|---|---|---|
2 | Ad | pretp. |
3 | $(A d \vee B d) \rightarrow C d$ | $1 / \mathrm{i} \forall$ |
4 | $A d \vee B d$ | $\cdots$ |
5 | $C d$ | $\cdots$ |
6 | $A d \rightarrow C d$ | $\cdots$ |
13.1. U četvrtom retku treba pisati .
13.2. U petome retku treba pisati .
13.3. U šestome retku treba pisati .