. . .
- .
- , .
, , .
, , , . , . , .
, (384 322 . ..).
, . .
. (1561-1626) , , .. (18081873) ( ).
.
XVII . , , , .
, : (17241804), (17621814), (17751854) (17701831), .
. , . , . .
, , , , , .. . , , .
. ( , ).
( ) , () ().
|
|
- , .
- ,
-- , .
.
:
1) p, q, r, s
2),&,∨, →, ↔ -
3) (,) .
:
1) (P)
2) - , ()
3) p q , p&q, p∨q p→q p↔q
4) (&q).
( , , , , ). .
1) : ,
, .
2) : &, »,
, .
3) : ∨, »,
, .
4) : →, , »
, () , () .
5) : ↔, , »
, , .
q | p&q | p∨q | p→q | p↔q | |