voved vo teorijata na mno@estvata i matemati^kata logika
voved vo teorijata na mno@estvata i matemati^kata logika
voved vo teorijata na mno@estvata i matemati^kata logika
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
(1) A ⇒((A ⇒A ) ⇒A ) (A1)<br />
(2) (A ⇒((A ⇒A ) ⇒A )) ⇒((A ⇒(A ⇒A ))⇒(A ⇒A )) (A2)<br />
(3) ((A ⇒(A ⇒A )) ⇒(A ⇒A )) (1,2,MP)<br />
(4) A ⇒(A ⇒A ) (A1)<br />
(5) (A ⇒A ) (3,4,MP)<br />
Pritoa, formulata (1) e ed<strong>na</strong> od aksiomite zadade<strong>na</strong> so {emata A1,<br />
<strong>vo</strong> koja uloga <strong>na</strong> B igra formulata (A ⇒A ); formulata (2) e aksioma od<br />
oblik A2, <strong>vo</strong> koja uloga <strong>na</strong> formulata B ima formulata (A ⇒A ), a <strong>na</strong> C<br />
formulata A . Formulata (3) e dobie<strong>na</strong> od (1) i (2) so praviloto <strong>na</strong><br />
izveduvawe (modus ponens). ^etvrta formula <strong>vo</strong> nizata e formula od oblik<br />
A1, <strong>vo</strong> koja uloga <strong>na</strong> B ima formulata A , a posledniot ~len od nizata e<br />
dobien od (3) i (4) so pomo{ <strong>na</strong> praviloto za izveduvawe modus ponens.<br />
(Da zabele`ime deka dokaz <strong>na</strong> teorema <strong>vo</strong> formal<strong>na</strong> teorija, pa i <strong>vo</strong><br />
iskaznoto smetawe kako eden primer <strong>na</strong> formal<strong>na</strong> teorija, ne mora da bide<br />
ednoz<strong>na</strong>~no opredele<strong>na</strong> niza formuli.) ■<br />
2.2 o (Teorema za dedukcija). Neka Γ e mno`est<strong>vo</strong> formuli, A i B se<br />
formuli. Toga{, Γ,A ├− B, akko Γ├− A ⇒B. Specijalno, A ├− B akko<br />
├− A ⇒B.<br />
Dokaz: Neka B 1 ,...,B n e dokaz <strong>na</strong> B od Γ∪{A }, kade {to B n = B. So<br />
indukcija po i }e doka`eme deka Γ├− A ⇒B i , za sekoe 1≤i≤n.<br />
Pr<strong>vo</strong>, B 1 mora da bide ili formula od Γ ili aksioma ili A . Toga{,<br />
od (A1), B 1 ⇒(A ⇒B 1 ) e aksioma <strong>vo</strong> L. Z<strong>na</strong>~i, <strong>vo</strong> prvite dva slu~ai Γ├− A ⇒<br />
B 1 . Vo tretiot slu~aj, koga B 1 =A , imame ├− A ⇒B 1 , po tvrdewe 2.1 o , {to<br />
z<strong>na</strong>~i deka e Γ├− A ⇒B 1 .<br />
Da pretpostavime sega deka e Γ├− A ⇒B k , za sekoe k