Главная › Записи › Записи Khanov

Дополнительные и обратные импликации матлогики. Определение через противоположности

Аватар пользователя Khanov
Систематизация и связи
Логика

Овчарёв Виталий, 13 Апрель, 2025 - 08:33, ссылка

Да, в формальной логике отношение противоположности ещё не нашло выражения. Этим долго пренебрегали. И зря.

да ну, это основа матлогики

 

-1+1=111000

  • -1=111 если А=1 и Б=1, С=1
  • +1=000 если А=0 и Б=0, С=0

решение системы условий Если А=Б=1/0, С=1/0

используется в логических операциях:

  1. конъюнкция +1+3+4-1=000010100111
  2. дизъюнкция +1-3-4-1=000101011111

 

+2-2=001110

  • +2=001 если А=0 и Б=0, С=1
  • -2=110 если А=1 и Б=1, С=0

решение системы условий Если А=Б=1/0, С=0/1

используется в логических операциях:

  1. стрелка пирса +2+3+4-2=001010100110
  2. штрих шеффера +2-3-4-2=001101011110

 

+3-3=010101

  • +3=010 если А=0 и Б=1, С=0
  • -3=101 если А=1 и Б=0, С=1

решение системы условий Если А=/=Б=01/10, С=0/1 или С=А, Б не важно

используется в логических операциях:

  1. обратная импликация +2+3-3-1=001010101111
  2. дополнительная обратная импликация -2+3-3+1=110010101000

 

+4-4=100011

  • +4=100 если А=1 и Б=0, С=0
  • -4=011 если А=0 и Б=1, С=1

решение системы условий Если А=/=Б=10/01, С=0/1 или С=Б, А не важно

используется в логических операциях:

  1. импликация +2-4+4-1=001011100111
  2. дополнительная импликация -2-4+4+1=110011100000

 

следует помнить, что противоположности образуют вторичный (комплексный, мнимый) квантовый регистр

  1. +1-1=000111=(+1/2, +1/2, +1/2)                          111=-1
  2. -1+1=111000=(0, 0, 0)                                          000=+1
  3. +2-2=001110=(+1/2, +1/2, 0)                               110=-2
  4. -2+2=110001=(+1/2, 0, +1/2)                                101=-3
  5. +3-3=010101=(0, 0, +1/2)                                     001=+2
  6. -3+3=101010=(0, +1/2, 0)                                     010=+3
  7. +4-4=100011=(0, +1/2, +1/2)                               011=-4
  8. -4+4=011100=(+1/2, 0, 0)                                     100=+4                 

 

не знать что-то общеизвестное - не преступление, но глупо заявлять это чем-то новым

 

редко упоминаемые операции:

-3...+3=101010=(0, +1/2, 0)

-4...+4=011100=(+1/2, 0, 0)

можете "изобрести" новый тип логического оператора, если он не будет повторять известные, не так много вариантов проверить, если не лень

типа

дополнительная обратная импликация -2+3-3+1=110010101000

  • -2=110 если А=1 и Б=1, С=0
  • +3=010 если А=0 и Б=1, С=0
  • -3=101 если А=1 и Б=0, С=1
  • +1=000 если А=0 и Б=0, С=0

решение системы условий если А=/=Б=10, С=1, иначе С=0

дополнительная импликация -2-4+4+1=110011100000

  • -2=110 если А=1 и Б=1, С=0
  • -4=011 если А=0 и Б=1, С=1
  • +4=100 если А=1 и Б=0, С=0
  • +1=000 если А=0 и Б=0, С=0

решение системы условий если А=/=Б=01, С=1, иначе С=0

-----

Двоичные логические функции 2 переменных:

  1. Конъюнкция +1+3+4-1=вектор(-1, -1/2, -2)=число[-6-4-10=-20] дискурс#1234
  2. Дизъюнкция +1-4-3-1=(0, +1, +3/2)=[0+8+15=+23] #1564
  3. Исключающее «или» +1-3-4-2=(+1, 0, +1/2)=[+6+0+5=+11] #1657
  4. Эквиваленция +2+3+4-1=(0, +1, +1/2)=[0+8+5=+13] #8234
  5. Импликация +2-4+4-1=вектор(0, +1, +3/2)=[0+8+15=+23] #8534
  6. Обратная импликация +2+3-3-1=(0, +1, +1)=[0+8+10=+18] #8264
  7. Штрих Шеффера +2+4-3-2=(+3/2, -1/2, 0)=[+9-4=+5] #8367
  8. Стрелка Пирса +2+3+4-2=(0, +1, -1)=[0+8-10=-2] #8237

общая волшебная сумма +48, а должно быть 0, вывод: список неполный

вектор суммы (+3/2, +3, +1/2), а должно быть (0, 0, 0)

для каждой операции есть ~24 дискурса (чередования условий: 1234, 1243, 1324, 1342, 1423, 1432, 2134, 2143...)

всего 343=7*7*7 оператора с учётом дискурсов~342/4~14,25, а не 7, ещё ~7 не открыты, можете их открыть.

------------------------------------------------------------------

Конъюнкция +1+3+4-1=творчество (намерение представить) понимание осознанности=вектор(-1, -1/2, -2)=волшебное число(-6-4-10=-20)=1/sm^1/2t2

(И, AND, & логическое умножение)

a {\displaystyle a} b {\displaystyle b} a ∧ b {\displaystyle a\land b}  

  • 000=+1
  • 010=+3
  • 100=+4
  • 111=-1

a ∧ b {\displaystyle a\land b} истинно, если истинно a {\displaystyle a} и истинно b {\displaystyle b}

Дизъюнкция +1-4-3-1=цель достижения положения как объективной реальности осознанности=вектор(0, +1, +3/2)=волшебное число(0+8+15=+23), тождественно импликации=mt^3/2=инерциальная волновая функция второго порядка

(ИЛИ, OR, логическое сложение)

a {\displaystyle a} b {\displaystyle b} a ∨ b {\displaystyle a\lor b} 

000=+1

011=-4

101=-3

111=-1

a ∨ b {\displaystyle a\lor b} истинно, если истинно a {\displaystyle a} или истинно b {\displaystyle b}

Исключающее «или» +1-3-4-2=намеренная игра слов как положение откровения=вектор(+1, 0, +1/2)=волшебное число(+6+0+5=+11)=st^1/2=пространственная волновая функция

(XOR, логическая неравнозначность)

a {\displaystyle a} b {\displaystyle b} a ⊕ b {\displaystyle a\oplus b}  

000=+1

101=-3

011=-4

110=-2

a ⊕ b {\displaystyle a\oplus b} истинно, если a ≠ b {\displaystyle a\neq b}

Эквиваленция +2+3+4-1=сущность бытия количества действия=вектор(0, +1, +1/2)=волшебное число(0+8+5=+13)=mt^1/2=инерциальная волновая функция

(EQ, XNOR, логическая равнозначность)

a {\displaystyle a} b {\displaystyle b} a ↔ b {\displaystyle a\leftrightarrow b}  

001=+2

010=+3

100=+4

111=-1

a ↔ b {\displaystyle a\leftrightarrow b} истинно, если a = b {\displaystyle a=b}

Импликация +2-4+4-1=сущность положения количества действия=вектор(0, +1, +3/2)=волшебное число(0+8+15=+23), тождественно дизъюнкции=mt^3/2=инерциальная волновая функция второго порядка

(логическое неравенство «не более»)

a {\displaystyle a} b {\displaystyle b} a → b {\displaystyle a\rightarrow b} 

001=+2

011=-4

100=+4

111=-1

a → b {\displaystyle a\rightarrow b} истинно, если a ⩽ b {\displaystyle a\leqslant b}

Обратная импликация +2+3-3-1=сущность бытия объективной реальности действия=вектор(0, +1, +1)=233=факт символа аргумента образа объективной реальности в сознании=пропозиция=OAA=волшебное число(0+8+10=+18)=mt

(логическое неравенство «не менее»)

a {\displaystyle a} b {\displaystyle b} a ← b {\displaystyle a\leftarrow b} 

001=+2

010=+3

101=-3

111=-1

a ← b {\displaystyle a\leftarrow b} истинно, если a ⩾ b {\displaystyle a\geqslant b}

Штрих Шеффера +2+4-3-2=сущность количества объективной реальности качества=вектор(+3/2, -1/2, 0)=волшебное число(+9-4=+5)=(s^3/2)/(m^1/2)=qs/m=q-/q-q+=1/q+

(И-НЕ, NAND, инверсия конъюнкции)

a {\displaystyle a} b {\displaystyle b} a ∣ b {\displaystyle a\mid b}  

001=+2

011=+4

101=-3

110=-2

a ∣ b {\displaystyle a\mid b} истинно, если ложно a {\displaystyle a} или ложно b {\displaystyle b}

Стрелка Пирса +2+3+4-2=сущность бытия количества качества=вектор(0, +1, -1=231=факт символа гипотезы образа объективной реальности в сознании=IOA=волшебное число(0+8-10=-2)=m/t=Ф=поток поля

(ИЛИ-НЕ, NOR, инверсия дизъюнкции)

a {\displaystyle a} b {\displaystyle b} a ↓ b {\displaystyle a\downarrow b}

001=+2

010=+3

100=+4

110=-2

a ↓ b {\displaystyle a\downarrow b} истинно, если ложно a {\displaystyle a} и ложно b

Связанные материалы Тип
Аналитика Аристотеля; Главы 4-6; О 19-ти силлогизмах и 3-х фигурах Khanov Запись
Khanov, 13 Апрель, 2025 - 09:48