1
1 2011-2012 .
. .. 25 . , , 4, 4, 14 24; 0, 10 20 ..
25 : : -, - ?
, -, , [1]. .. .. :
┐ | ||
٨ | ||
v | () | |
v | () | |
∩ | ||
≡ |
..
-, , - [2].
- 2n, n . , (p É q) ٨┐ q É c v ┐ p, n = 3 (q ┐ q ). , , - (p, q, c) 8 (23). - :
(p É q)٨┐q É c v┐p | () , . (q) : , . ┐q - q . () - 8 . | |
23 | ||
8 | ||
-. ( ) . , , (┐, ٨, v, É, ≡). , , , . , , (v) , ( ٨ ) ( ┐ ), , ( É ) (≡). - :
|
|
1 2 4 3
p É q)٨┐q É c v┐p
-
( ) . , -; , -; - , .
. - ( ). - (, - ). - .
?
1 2 4 3