: .
.
, 頠
:
4. ( . implico )
: →.
: , ; , ; , ..
- : , . a → b. (), ().
5. ( . aequivalens ; )
: ↔ ≡.
: ; , ; , , .
: , .
: a ↔ b a ≡ b
6.
: ~ . ~ ; ,
: , ..
: ~
: .
: .
1. . | a ˅ b |
2. . | a b |
3. , . | a → b |
4. . | ˄ b |
5. , . | ˄ ~ b |
:
1. , . | a → (b ˄ ) |
2. , . | ( ˄ b) → c |
3. - , . | a ↔ (b ˄ ) |
4. , . , , , . | ( → b) ˄ ~ a → (c ˄ ~b) |
, a, b, c , ; , - .
|
|
b | ˄ b | ˅ b | b | a → b | a ↔ b | ~ | ~ b | |
1, 0.
b | ˄ b | ˅ b | b | a → b | a ↔ b | ~ | ~ b | |
1 | 1 | 1 | 1 | 0 | 1 | 1 | 0 | 0 |
1 | 0 | 0 | 1 | 1 | 0 | 0 | 0 | 1 |
0 | 1 | 0 | 1 | 1 | 1 | 0 | 1 | 0 |
0 | 0 | 0 | 0 | 0 | 1 | 1 | 1 | 1 |
1. ˄ b & b
, b .
2. ˅ b
, , , .
, , .
4. a → b
, , : ( ) , ( ) .
5. a ↔ b a ≡ b
, , , t , , .
6. ~ 蠠 ~ b; b;
, . , - (~) .
b , . b , - b (~ b) .
, . , , , .
b, ~; ~ b, .
~(a → b), , . , ̶ . , .
, .
- , ( ).
- , ( ‒ ).
!!! , , !
, , , ̶ !
- . , . , , .
|
|
, .
, : , .
1. , n:
; b
(, b), ,
2. (k) : k = 2n, n ( , ).
k = 22 = 4 .
3. ( ) .
.
b | |
, , .
b | |
(b) ,
() , .
b | |
, . , .
b | a → b | |
. , , : ( ) , ( ) .
b | a → b | |
1. , . ; b . , , b (a → b)
2. , . ; b . , , b (a → b) . , , .
3. , ; b . , a → b . .
4. . ; b . , a → b .
, (, b, c), , , 23 = 8 .
:
b |
| () , .
(b), , , ; .
() , | ||
:
1. , : , (. . ).
|
|
, :
b
d ( ) .
: , b d
(a → b) ˅ (c ˄ d)
, ; .
, , .
1. , :
b
2. : , b,
3. : ↔ (b ˄ )
4. : k = 23 = 8
. : , b ˄ ; ↔ (b ˄ )
b | b ˄ | ↔ (b ˄ ) | ||
5. .
3. . , . : , , .
, ( → b) ˄ (~ a ˄ ~ b)
b | a → b | ~ | ~ b | ~a ˄ ~ b | ( → b) ˄ (~a ˄ ~b) | |