Чуть-чуть о логике, часть 1. Законы логики

Петр Савватеев
    
               
     – А как стать Вашим последователем, Учитель? – спросил один юноша Спасителя.
     – Очень просто, – мягко отвечал  Иисус, – кто не против нас, тот с нами.

     – А посмотрите, какой суровый лозунг у этих большевиков: кто не с нами, тот против нас! – говорили и писали враги большевизма.

     – Красный бантик не приколол, "Интернационал" не поёшь, значит, против нас  –  пожалуйте  к стеночке.

     И на первый взгляд, действительно, христианско-библейское:

           «кто не против нас, тот с  нами»

кажется значительно мягче  строгого большевистского –

           «кто не с нами, тот против нас».

     Однако в действительности эти два предложения означают одно и то же.

     Дело в том, что два высказывания:

                "если A, то B" 
и

                "если  не B, то не A" 

логически равносильны, т.е. они истинны или ложны одновременно.
    
     Тождественно истинное высказывание называется   з а к о н о м   л о г и к и. Формула

                (A —> B) <—> (не B —> не A)

тождественно истинна, ее называют законом  к о н т р а п о з и ц и и. Этот логический закон был открыт еще Аристотелем*.

     Предложение

          "не B —> не A"

можно прочитать так:

         "если нет B, то нет и  A",

т.е. условие B  не  обойти,  у B нет обхода; B —  н е о б х о д и м о е   условие для A.

     Если А — необходимое и достаточное условие для В, то говорят, что "А — критерий В"**.
Благодаря закону контрапозиции "А — критерий В", если 

                A —> B
и               
                B —> A.
    
     Поэтому критерий имеет вид:

                A <—> B, 

т.е. «для A необходимо и достаточно B»   или, другими словами,  «A тогда и только тогда, когда B».

     По закону контрапозиции приём в адепты человеконенавистнического  христианского учения (согласно которому всё лучшее ожидает человека лишь после смерти, и даже знаком принадлежности к учению является символ мучительной и позорной казни) и большевистского (всё лучшее для человека должно быть построено на Земле при жизни человека) производится по одному и тому же критерию.
 

~~~~~~~~~~~~~~~~~~
               
                Примечания
 
       
        * Аристотель (384 до н. э. — 322 до н. э.) — древнегреческий философ, с 343 до н. э. — воспитатель Александра Македонского.

       ** В философии под словом «критерий» подразумевается лишь достаточное условие. Например изречение К.Г.Маркса  «Практика – критерий истины» означает, что для истинности теории достаточно лишь её практической применимости.
Например, согласно такому «критерию» система мира Коперника, первоначально неточная (орбиты планет на самом деле эллипсы, а не окружности, как предположил Коперник), не имела права на существование, так как система Птолемея  с движением планет по эпициклам вокруг Земли гораздо точнее отвечала запросам практики.


Продолжение в http://proza.ru/2024/04/23/11
    
~~~~~~~~~~~~~~~~~~~

Фото из Интернета: Аристотель