C || || || || || || || || || || Գ || || || ||
/ / . / / 㳿 / / / /
→ 
. . . : 㳿 . .: -ղ 440 ., 2009 -

̲

50 "

쳿 , β, ˲1 ̲1ò 01, 01 01 β1 ײ1Ҳ βͲ 1. 1 ² βͲ β, 1 β ײ1Ҳ ; βͲ 1 1, в ̲ 1 β ܲ. 1 IJ10 0ز1 β в1, IJ1ز 01 β1, IJ1ز 1 IJ1Ҳ Ҳ. Ъ 01 1 , 1 IJ1 1 1. Ъ Ҳ 1 Ѳ1; 1 1 Ҳ 01 ²1 ̲Ѳ1. ﳳ β, ; 1ز , 1 1 ޲. 1Ѳ 1 1˲; βҲ ̲1. Ҳ ˲1 01 ² в ί βͲ 1 ײ1Ҳ. 1 031IJ Ͳ, , Ͳ β 1. 1Ʋ 1 ² 1 β β 1 ² 1. 031 ̲ 10 1Ͳ β 1Ͳ IJ1 . βͲ ů β, Ҳ1² Ų 1. 1² *

50 - . ³ , . , , ', . , , ( ), - ' , , .

385

1, 01, ί 1Ͳ !; -1 1 1 1. βIJ, Ų ί! 1ز, ߯ 1 01. ߳ 1 01 Ѳ 1, : -1Ͳ ˲1ز. 1 β -Ų; 1 Ų ̲10 -Ʋ1. Ʋ, βIJ, ŲͲ β1 Ѳ-ο, Dz1 1 ˲ʲ. ˲1ز Ų 1, 1Ͳ -

; ί ܲ.

= , = Ҳ = = , Ѳ = = =, в = = = , Ѳ = = , = ² =

= . Ѳ ^, = =

-ײ, = = = , = = в = = , = - = = = = , = Ъ = , = ί = 0 = 30 -, = = = , Ѳ , Ѳ = = , => = IJ = : = = = = ί = .

Ͳ޳

ܯ Ͳ Ͳβ! Ͳ β , ̲1Ҳ 1 IJ1Ҳ 1 β1 -Ͳ1 1 1 1Ҳ. 1 -1Ͳ Ѳ1 1 1Ͳ 1 β 1 Ѳ. Ӳ , ߲ 1 Ͳ1, β βʲ β Ҳ Ҳ, , IJ1 01

1 1Ͳ ӲײͲ 1 Ҳ.

Ѳ1 KPOITKO 1, 1 1Ҳ в. 1, 1ز Ͳ 1Ͳ 1 ,

β Ѳ ߲, :

β в1 1, 1 1² Ѳ, 1̲ γ, Ҳ1, 1 Ѳ 1̲ 㳳 . 1 1 1 1˲ в ޳, ! 1IJ 1, 1 Ͳ1̲, ӲҲ β в β, Ͳ1 1Ͳ 1, 1 Ͳ 01Ʋ, 1² -

² 1

βͲ, ղ1 1 Ų ² β - 1, 1² β 1 -1, β 1Ͳ, ߲ Ų 1² , 1 ̲1Ͳ, - β, 1 ӲͲܲ²,

β , ² 1 , 1 в 1ʲ ο. ̲.

. ˲

, , ² ŲͲ 1 ղ1 ˲1, 1 ² 1 ܲ 1Ͳ Ų. , βIJ, Ų 1

ůͲ Ͳ Ų , 1 1IJ IJ1 , ² 1, Ѳ β, ² 1 1 1. , βIJ, Ͳ ? - 1 β1 IJ1 , βIJ, '.

= =
, " ̲ "


  1. 5.1. ()
    , , , , , . - , -
  2. 2. 䳿
    , (), , , (. 2 . 432 ). ³ 䳿 : 1) (), 2) ; 3) ; 4) .
  3. [ ]
    -
  4. 2. -
    - - . - . - , ,
  5. 3.1. .
    - , . , - . , ..., (> 1), ,
  6. 1.
    ' , ( ), . , ,

  7. ' . ', . , ..., (> 1) , , ,
  8. .
    -, - , - , ' . , . , ' ,

  9. 1. . , . : - - - . : - -
  10. VII , ί Բ
    ' '. . , 1- - , . .
  11. 4.
    4.
  12. ̲
    ̲
  13. 2.
    2.
  14. 4.4.
    - , - , ' '- . , , , -
  15. ?
    1 1993 , , , . ,
  16. 1. 2.
    1. 2.
  17. 2. -
    - , - , - . - : (modus ponens) (modus tollens). (modus ponens) , -
  18. 1
    I, 4, 20, -. 1 ( . 221-224) 4 (. 225-229); VII, 1 . 1 (. 257-259). - 274. 2 I, 2 . 3 (. 225). - 274. 8 I, , 3 . 24 (. 244-246). - 274. 4 VII, 6, 7, 19,
  19.  .
    ,  , . , 6 . : .
        -