.


:




:

































 

 

 

 


- . .




( . soros ) . , ? . , () ().

. :

M P
S M
N S
O N
O P

. :

M P
S M -
P N
S N -

4. ( . epiheirema ) , ( , ). :

P, .. N S M, .. S B S P


1- : , ..
2- : , ..
,

o . :
1- :

(N P)
M N
M P


2- :

(B M)
S B
S M -

:

: M P
: S M -
  S P

:

1. :

/
- - -
S-P
S-P

 

/
S-P
- - -
S-P

 

/
S-P
S-P
- - -

 

) , .

) , .

) , .

2. :
2.1. , .

. (MPSMSP)


2.2. - , , .

.. .


2.3. , .


2.4. , - .

.


2.5. , .

. .


2.6. , .

,

 

 

 

 

20

"- ".

:

1. .
2. - .

, . : , » p → q. , , :

) . :

, , , : p→q q→r p→r , , [p, q, r] , S P S - л.

:

,
,
,

4- , : 4- , , , . , - . . : ;


- .

(. modus ponens) - .

,     p → q
p
, q

, . :

3 5, 15
3 5
15

2. (. modus tollens) - .

,     p → q
- q
, - p

( ), : . . :

,
,

, .

:

,     p → q
- p
, - , q

:

,
,

2. :

,   :   p → q
q
, , p

:

,
,

. .. :

, , . .

:

- ; :

 

-. -.

1. , , , . , , .

.

2. - , . - , .

 

- .

 

3. - , . . , .

 

- .

 

 

4. - , . . , .

 

- .

 

5. , , - . . , .

 

- .

 

 

 

21

" ".

:





:


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


:

:

, .
==> ...

1755 - | 1578 -


© 2015-2024 lektsii.org - -

: 0.028 .