. . , .
. . . .
. . , . , : , , , .
: ; - (- -); - (, ); - (modus ponens, modus tollens).
: ; . ó .
: , , , , , , , , - , - , , , , - , , , , , .
:
1. .
2. .
3. .
4. .
5. .
6. : .
:
1. .
2. : ; .
3. ( ).
4. .
5. .
6. .
1. .
2. .
3. .
4. - (modus ponens, modus tollens).
5. - .
6. .
7.
8. ó .
- : , .
2. , .
3. , , .
4. , - .
:
1. .
|
|
2. , .
3. : , ( ), , .
4. .
5. .
6. ó - .
7. .
8. 㳿 .
:
1. .., .., ̳ .. : . ., 2000.
2. .., .. : ϳ. ., 2002.
3. .., .. : . ., 2007.
4. .. . - ., 1996.
5. .. . . 3-, - ., 1997.
6. .. : . ., 2000.
7. .., .. . ., 1999.
8. .. : ϳ. . . . 3- . ., 2001.
9. .. . ., 1996.
10. .., . . . ., 1998.
11. .. . ., 1996.
12. .. . ., 1997.
13. . . . ., 1987.
14. .. . ϳ . ., 1998.
15. .. . ϳ . ., 1999.
16. .. . ., 1971.
17. .. : . ., 1995.
18. .., .. . ., 1996.
:
1. : . ., 1993.
2. ³ . Tractatus Logico-philosophicus. Գ . -., 1995.
3. .. . ., 2001.
4. . . - ., 1959.
5. . . ., 1999.
6. . . // - . ., 1999.-.19-155.
7. . . , 1997.