:
2 (P+) (M-);
: (M+) (S+):
:, (S+) 2 (P+)
6) ( , , )? .
.. , . , .
12.
: .
1. .. .
2. .. , .
3. .. .
4. .. .
5. .. .
6. .. .
2) :
. ( ) .
:
J
- , - . .
- , J- .
- , - . .
3) : , , - .
: . (..-
Y: .(..- )
Y: - .
AJJ . , -
4) , : , . , , .
(b c)->a) (b->a)
-, -
, , , .
.
|
|
|
5) .
. : .
. , , .
. , , , ,
6) ( , , )? .
, Dfd Dfn( )
13.
1) . - , . - .
ZKL-XMQ
Z-X
K-M
L-Q
(, , ) , (, , ).
, , .
3 : , ,
3 : , ,
.
.
.
2) :
.
, ; .
. ( S )-
.( S )-
3) :
,
- (..- )
- (..-- )
- : .
, .
4) , :
, , , , , , .
((q↔z)^(zèy)è(qèy)
- , .. , , .)
6. : , - : .
, .. , , , .
7) ? , , . , . .( )
|
|
|
14.
1. : , , , , , . : , , , , , .
2. , , - , , .
3. M+ P-
A: -
S+ M-
A: -
_____________________________________________________
S+ P-
A:
, I (..- , .. , )
4. (A), (B) , . ((A→B)∩A)→B. - , .
5.
6. , . , , , - .
15.
1. - - .
2. . J: S P. : . O: S P. O , , .
3. S+ M-
A:
M+ P-
A:
S+ P-
A:
I (.. , .. , )
4. (A) (B). (C), . , , .
(AvB)∩(C→A)∩Â→B
5. : . : - , .
6. Ի , , Ի .
16.
1.
2. : .
:
:
:
J:
:
: .
3. .
P+ M-
:
S+ M-
:
S+ P-
:
II , . , II , , .
4. , , , , , - , . ((→)∩(→))→(→)
.
5. , - . , - 3- . , , , , (), .
|
|
|
6. - , , .
) . .
) . .
) . .
) . .
) . .
: .
17.
1. . :
1) xyz
2)
3)
z
. : , . , , . , .
2. .
:
: -
: -
III , .
3. I: I:
4. , , , , . ((A→B)∩-A)→-B. - , .
P+ M-
5. :
S+ M-
:
S+ P-
:
6. - . , .
18
1. , , , .
, : : . , , .
2. , .
SP
SAP: , , .
SP
SEP: , , .
( , )
P+ M+
3. ( ) (SEP)
S- M-
(SJP)
S- P+
.(SOP)
II , .
4. , , , .
(( ) )
-
: (). , , . , .
, !
5. : S . : S. EIO .
|
|
|
6. . , (Dfd) (Dfn) . , , .. . - , ( ).
19
1.
,
,
, , .
.
2. , , .
S
SAP: ,
P
, .
S
SEP: ,
P
.
:
PS
PES: , . ( )
3. , ,
M+ P-
, , , ( ) (SAP)
S+ M-
(SAP)
S+ P-
(SAP)
I , .
4. , , , , , , , , .
- d
(( b) ) ( d) (ad)
- .
(). , , . , .
, !
5. , , .
J
-
. . , J . , , , , .
6. . . , .
20
1. , , , , , . , .
, : . , , .
2. .
- : -, -: , , , . , : , , , .
-J : , J : , , , . O, J : , , , .
- : , -: , , , .-, -: , , , .
3. , , .
|
|
|
M+ P-
- A
S+ M+
- E
S+ P+
- E
.
: , , . , , , , , .
4. , , , . , , , , , , . , , .
q
d
( ) ( ) ( ) (q) (qd) (ad)
, . (). , , . , . . !
5. , , . .
6. , .
, . (Dfd) (Dfn) .
21
1.
SP
SAP:
SP
SEP: .
PS
PES:
2. , - , .
M+ P+
- E
S+ M-
- A
S+ P+
E
, I .
3. :
, , .
, , , : (, , ) ().
4. , .
P+ M-
-
S- M+
- O
S- P+
O
, II .
5. . , , .
P+ M-
- A
S+ M-
- A
S+ P-
A
: .
6. , , , .
( ). , .
22
S- P-
1)I: .
P- S-
.:
2). -
:
I: .
: , I .
3): ,
4) bb
, .
Ccm
, . ,
am
, , , .
((A=>B)^(B=>C)^(C=>M))=>(A=>M)
, , , , .
5) ,
: , , .
6) 3 .- . . . .
ZKL-XMQ
Z-X
K-M
,L-Q
23
S+ P-
SAP: ;
: .
., , I
P- S+
PIS: .
2) , .
2
:
S M
:
SP
:
3) .
.
?4):P-M
E:M-S
E:S-P
5) AOO, EIO- 2
AAI-4
6) - -( )
-, ( )
( )
- djour .()
24
1. .
S- P+
:
S- P-
I: .
P- S-
I: .
2) , . ,
, , ,
.
((=>B)^(C=>M))^A)=>B
3.
4. .
I: ./
:: ./
:
: ../
:
: . /
5. , , .
6. : , .
2
PM
: .
SM
:
SP
: .
25
1. . , .
2. . . . , , .
((A=>B)^(C=>B))=>(C=>A)
3. , : , . , , , , , , , , .
((→)∩(→))→(→)
.
4. , , , , .
, , , .
5. .
: .
E: .
: .
6. . . 3. .. , .. , , .
26
1. : , .
)
: ( ), ( )
:
( , )
( )
( , )
( )
).
: ( ), ( )
:
( , )
( )
( )
( )
2. :
: (P+) 3 . (-)
: (S+) 3 (-)
: (S+) (P-)
:
1)
2) ( )
3. :
, . , .
- .
((p→q)^p)→q
4. :
: S
J: S
: (s) (p), .
J: (p) .(s)
5. :
. (circulusindemonstrado). ,
: , , .
6. :
J: .
). J- , - . ()
, , , .
). J- , E ()
, , ,
). J- , .( )
, , , .
). J- , ()
, , , .
) J - , . ()
, , , .
) J - ,
, , , .
27
1. :
- , , , .
(, , , , , , )
, , .
(, , , , , , )
