.


:




:

































 

 

 

 


(). ( ).




( ).

:

1. .

: , .

!

2. - .

: , .. .

, - !

3. - .

: , .

, - !

4. - .

: , . .

, , .

 

7.

 

  1. .
  2. .

 

, .

:

 

:

1)S1 P

S2 P

Sn P

2)S1, S2, , Sn K

:

K P

 

.

, .

, .

, , . , , . .

, .

:

 

:

1)S1 P

S2 P

Sm P

2)S1, S2, , Sm, , Sn K

:

, K P

 

, K, , . , .

, , .

, .. . .

, , , .

 

:

.

, , , , , , .

, .

, .. .

, . . , , , , , , .. , .. .

, . , .

: 1) ; 2) .

.

, , . , .

 

1. , modus ponens:

 

 

, b :

b (pq), q

a p

.

(p),

(q).

(q).

, (p).

 

2. , modus tollens:

, b :

-a (pq),

-b

.

(p),

(q).

().

, ().

 

.

: .

:

 

:

a P, Q, S, T

b P, Q, S,

:

, b T

 

P, Q, S , T .

.

, (P, Q, S) T.

, .

. .

, , :

1) , ;

2) .

.

, . , .

. , , . , , .

, . , , , .. , , .

 





:


: 2016-11-12; !; : 399 |


:

:

, .
==> ...

1380 - | 1227 -


© 2015-2024 lektsii.org - -

: 0.013 .