«  »

Логика





3



:

.

.

. .6

I:

I

15.6

,
.

, , .

; ;

.

17.1

.

.

().

24.6

(
;
).

.

. (A>Bc).

: . (=)

28.6.

: ,
.

, , .

, , .

: , ,
.

II

4.1.

, .
, .

, ,
.

, (S),
(P). .
.

6.1.

,
,
.

.

. ().

S P .

11.1

,
( ),
.

, , ,
.

. p^q .

12.1.

,
.

, .

(q), ().

() q, () ; p q.

III

1.1.

, .

.

() (S) (P)

() (S) (P)

6.1.

. ,
.

.



.

(S) (P).

() (S)

10.1.

, ,
.
.

.

1. ().

2. ().

3. (I).

IV

3.2.

, : )
, ) ,
. ,
( ..., ...).

,
.

1. ..., ...:
(),
(q).

2. :
(),
(q). ().
, (q). p---q,

q

3. :
(),
(q). (
q). ( ). pq, q

p

5.1.

, , .

. ,
. . .

. (),
(q). . (q).
, . ().

.
.
. p---q, q



7.1.

, : )
- , ) - ;
, ,
.

.

()
(q).

1. - :
(). , ( q).

p q, p

q

2. - :
( ). ,
(q).

, p .

q

8.2.


- .


.
,

. ,

,
.


, .
,
.

.


?
?
?