> > .
<<
>>
<< >>

6.13.

, ( ). , . . (

, , , ,

.

, . , , . , , . .

:

, , modus ponens .

, modus ponens.

. ( ) :

.

<< >>