 : 7   
 


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





 

 : 7   



  

    ,  



:  



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



      .  ,     ""     . ,               ,     .



 1.     ()



 1. ƨ :   + 



1.1.   ()

      : A = A.            .      .     .



1.2.    ()

: 1.     . 2.     . 3.     .

:  =   (,    ).  =   .    ;     .

 : " " -> "  ". "     " -> "   ".      .



1.3.  ()

     ?     ( 1),      A,          B (, " ").     -    (A = B),     Ad Hominem.  ,   -    "",         . Ƹ      ,       .



1.4.  

          .         ,      ,    ,       .



1.5.   

:  : "      , ,   ".

:   .  "  " (, A)   " " (, B).   non sequitur (" ").

 : "    ,    .    :    (A).   ,       ?"

:  ,       ,          .



 2.  : Modus Ponens + 



2.1.   ()

     : Modus Ponens.

: (A -> B)  A  B.

: " A,  B. A . , B ".       .



2.2.    ()

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

:  =   (  ,   ).  =    .  = " "  "  "  "  ".

 : "     " -> " ". " " -  ,  . " " -> ",  ".



2.3.  ()

Modus Ponens -    .   ,    .        .   -     : "   , ,  ".   -   ,        B   A.



2.4.  

   .       ,   ,   ,    .      :    ,     .



2.5.   

:  : "      ,     ,  ".

:     (" "),  ,       .

 : "     (A).   ,    .   ,     (A -> B). ,    (B).   ,       ".

:  ,    ,        ,     .



 2.     (  )




  .


   .

   ,     (https://www.litres.ru/pages/biblio_book/?art=74030849)  .

      Visa, MasterCard, Maestro,    ,   ,     ,  PayPal, WebMoney, ., QIWI ,       .


