, .
,
. | ||
. | ||
, . | ≡ I | |
, . | ≡ | |
, . | ≡ |
.
, .
, - , . | a → b |
, . | ~a ˄ ~b |
, , , . | (~a → b) ˄ (a → c) |
, - . | (a ˅ b) → (~c ˄ ~d) |
5. : c ˄ ~a ≡ (~c ~b)
a | b | c | ~a | ~b | ~c | c ˄ ~a | ~c ~b | c ˄ ~a ≡ (~c ~b) | |
, . | |||||||||
.
6.1. : .
, .
ƎS ( ƎS ) | |
ƎS ( ƎS | |
: | |
Ǝ S | |
: | . |
6.2. : .
ⱯS | ||
Ǝ S | ||
: | . | |
Ɐ S | ||
: | . | |
.
|
|
,
. . | : | |||
: | I A I | |||
, . | ? (/) | . | ||
, / ?
____1- . ; _____2- . ; _____3- . (S); _____3- . ()
____1- . ; _____2- . ; _____3- . ; ______4- .
: ( ): ..
. . | : | |||
: | ||||
. | ? (/) | . | ||
, / ?
____1- . ; _____2- . ; _____3- . (S); _____3- . ()
____1- . ; _____2- . ; _____3- . ; ______4- .
: ( ): 3- (S).
8. : , . .
? ___ ; ___ ; ___
2- .? ____;___. . ? (/)____
, .? _________________________________________
: ________
: | ́ . 1- 3- . ? 1- : - . . |