:
-(
- ( )
-, .
-
11.11.11
-
-
-
-
-
-
-
, .
-,
, . , , -.
.
- , .
-
-
-
.
-
-
, .
--
--
-
, , , , , , (), , .
-
- --
---
- .
- , - , .
(, ...)
, .
-----------------
..
..
..
-----------------
, , .
- , .
:
( - )
S-P
P-S
: -, .
-, , .
.
- , .
|
|
.
-:
.
, .
09.12.11
-
.
. = .=p,q,r,s
,
.
, . .
P | -p | -(-p) |
t f | f t | t f |
( )
- ,
, , , ∧
(, . - )
P | q | p∧q |
T T F F | t f t f | T F F F |
, -, -
, .
-
-: . ⋁
p | q | P q | P⋁q | P ⋁ q |
.
- .
3 :
1) , - , , . -- -- , p q , . : , , , , .
2) , -: , . , . , . P q
3) p q , . . - , - . )))
- , - . - , , - .
|
|
- .
1) p q = ,
q r -
p r -
ponens
-