() . , : - - , - . , , .
():
( )
---------------------------------------------
A (. )
B
----------------------------
A B
( , . , , , .) , (, ) A B , A B. , . .
():
1. , (p q).
2. , (q r).
3. , (r s).
(p), , , p q p q, q r q r r s r s. p s:
, .
():
( )
-------------------------------------------
A ()
Ø
------------------------------------------
ØA
, ( , , ) A B Ø B, , Ø A.
p ÙØ s, , , , Ø s s. , , :
, , .
|
|
, .
. , , , . , :
A B (: 2, 4)
, A B , , . . :
A B
ØB
--------------
ØA
:
1. A ()
2.ØB
3. A ()
4. B (: 1, 3)
5. ØA (: 2, 4)
- , ( - modus tollens. , .
:
:
Ø(A Ú B) ØA Ù ØB
------------- -------------
ØA Ù ØB Ø(A Ú B)
:
Ø(A Ù B) ØA Ú ØB
------------- -------------
ØA Ú ØB Ø(A Ù B)
:
A B
--------------
ØB ØA
:
A B ØA Ú B
------------- -------------
ØA Ú B A B
:
Ø(A B) A ÙØB
------------- -------------
A Ù Ø B Ø(A B)
:
(A Ù B) C
-----------------------
(A Ù ØC) ØB
:
A (B C)
--------------------
(A Ù B) C
:
(A Ù B) C
---------------------
A (B C)
:
A Ú B
A C
B C
-------------
C
:
A B
C D
A Ú C
------------
B Ú D
:
A B
C D
ØB Ú ØD
-----------------
ØA Ú ØC
- . , .
. , . , , , , , , , : A B Ø B Ø A. (A B)
(Ø B Ø A).
|
|
:
1. :
a) , . , , .
b) , . , , .
c) (p Ú q) Ù (Ø p q) Ø(Ø p Ù Ø q).
2. :
a) ( );
b) ( );
c) ;
d) ( );
e) ( );
f) ;
g) ;
h) ;
i) ;
j) ;
k) .
3. () : - , , : , [] ; , [ ] ; , ( . ). . ?
4. , :
a) , . .
b) , . .
c) , , . , , , . .
d) , , , . , , . .
e) , . , . .
f) , . . , . .
g) ( ). , . , . , . , . , . , .
5. , , :
6. , . , , . , , . . .
7. , : , . , . , . , . ?
|
|
8. modus tollens . .