- 104
1.
. . . . . -. , , . . . . .
, .
, , , , , , , , , , , , , .
2. :
*
*
-
3. :
* ;
* ;
* ;
4. :
* ;
* ;
* .
*
*
*
5. P Q , :
* P, Q, , P, Q;
* P, Q, , Q, P;
* P, Q, , , P Q.
. .
1. 2 + 2 = 4
2. 3 + 6 = 11
3. 8 + 4 = 12
4. 13 - 7= 5
5. 5 + 4 = 9
- :
, , . , .
?
8. :
648 15 .24 . . .
?
- :
. . . . . , . .
, ?
2.
1. . . . . .
|
|
2. . , . . , , , .
3. . . . : , , . : , , . .
4. , . . , . . .
1. :
* , , .
2. :
* , , .
3. :
* , , , , 1 .
4. :
* , , , , .
5. :
* , , , , .
6. , :
* 5 , , .
7. :
) , , , , ;
) , , , , , .
) , , , , , ;
) , , , , , , ;
) , , , , , , ;
) , , , , ;
8. . .
* , , , , .
9. :
, .
, .
.
, .
;
.
.
.
10. , :
11. :
* , , .
12. :
* , , .
3.
1. . . . , , (). . .
2. ( ). . , (). .
|
|
3. . . (). (), (), ( ). . .
4. . . , , . : , . "" . . .
5. - . . . . .
1. .
. . . .
2. , .
. . .
3. :
) . ;
) . ;
) . ;
) . .
4. :
.
.
.
.
5. , , .
. . , 5 2 3. - , , . , , , .
6. :
) (p & q) ⊃ p
) ((p v q) ⊃ q) v p¯
) ((p ⊃ q) v q) ⊃ q
7. :
, . , .
, . , , .
, . , .
8. , .
. . : " , ".
: " , ".
: " , , , ".
: " , ".
. ?
4.
1. . . , , , .
2. . . . . . . 2 3 1 . .
|
|
3. : . - . - . - . - - - . - . .
4. . . , . .
1. :
* ;
* ;
* ;
* ;
* .
2. :
* ;
* ;
* ;
* ;
* .
3. .
.
.
.
.
4. , :
) , , , ;
) . . , ;
) , , , .
) .. . .. . , .
) , , , .
) . . , .
5. 1, 2 3 .
: , , . , . .
6. ?
M i P o P a M M a P
S a M M i SS o MM e S
S i P S i P S o P S o P
7. .
8. , :
) , , , .
) , , .
9. : , :
(p ⊃ q) & (q ⊃ r)
p ⊃ r
5.
1. . . . . (). . , .
2. . . . (). . (). . . . .
|
|
1. , :
______
) p & p¯
) ((p ⊃ q) & q) ⊃ q
) ((p ⊃ q) & r) ⊃ ((p v r) ⊃ q)
) ((p& q‾) ⊃ r) ≡ (p ⊃ (q ⊃ r))
) ((p ⊃ q) & q) ⊃ ‾p
2. :
) , . , , , . , ;
) 2 3, 6. , 2, 6 , 3;
) - , , ;
3. :
____
) (p v q) ⊃ ((p &q) ⊃ p)
) ((p ⊃ q) ⊃ (q ⊃ p)) ⊃ (p v q)
) (p ≡ q) ⊃ (p &q)
) ((p ⊃ q) & (q ⊃ r)) ⊃ (p &q)
) ((p ⊃ q) ⊃ r) ⊃ p
) (p v (q ⊃ r)) ⊃ p
) ((p ⊃ q) & (q ⊃ r)) ⊃ (p ⊃ r)
) (p& q) ⊃ ((p ⊃ q) ⊃ q)
) ((q ⊃ r) ⊃ q) ⊃ (r ⊃ p)
) ((p & q) v (p ⊃ r)) ⊃ (q & r)
) (p ≡ q) ⊃ p
4. :
) (p& q) ⊃ ((p ⊃ q) ⊃ q)
) (p ⊃ q) ⊃ ((p v r) ⊃ (q v r))
) (p & (q v r)) ⊃ (‾p ⊃ ‾r)
_____
) (‾p & ‾q) ⊃ (p v q)
) (‾p v (q ⊃ r)) v ((p ⊃ ‾r) ⊃ (p ⊃ ‾q))
) (p ⊃ q) ⊃ (q v (‾p ⊃ r))
5. :
) (p ⊃ r) & (q v r)
_____ _________
) (p v r) & ((q & r) v p)
) (p ⊃ q) & (‾p v q)
_____
) (p v r) & (p ⊃ q)
) (p & q) & ((q ⊃ p) & p)
6. :
) (p ⊃ q) (‾q ⊃ ‾p)
) (p ⊃ q) (‾p v q)
) (p ⊃ (q ⊃ r)) ((p & q) ⊃ r)
) (p & (q v r)) ((p & q) v (p & r))
) (p v (q & r)) ((p v q) & (p v r))
7. , .
, :
, .
, .
, ?