-priručnikdoc.dr.sc

3.4 Prirodna dedukcija 41
3.4.1.2 ∧ Elim
Lemmon
a 1 ,...,a n (i) A ∧ B
.
a 1 ,...,a n (j) A [ili B] i ∧Elim
Fitch
(i)P 1 ∧ ... ∧ P i ∧ ... ∧ P n
.
(j)P i ∧Elim: i
3.4.1.3 ∧ Intro
Lemmon
a 1 ,...,a n (i) A
.
b 1 ,...,b m (j) B
.
a 1 ,...,a n ,b 1 ,...,b m (k) A ∧ B [ili B ∧ A] i,j∧Intro
(i)P 1
⇓
(j)P n
Fitch
.
(k)P 1 ∧ ... ∧ P n ∧Intro: i,...,j
3.4.1.4 Disjunkcija
3.4.1.5 ∨ Elim
Lemmon
a 1 ,...,a s (i) A ∨ B
.
j (j) A pretpostavka
.
b 1 ,...,b t (k) C