Операции с логическими рядами
Рассмотрим множество всех логических рядов, обозначив отдельный ряд буквами А, В, С…
Назовем операцией над логическим рядом правило образования нового логического ряда, через преобразование каждого значения старого логического ряда.
Операции могут быть унарными – над одним рядом и бинарные – с двумя рядами.
Рассмотрим множество классических рядов и зададим на нем логику классических рядов (ЛКР) в виде набора унарных и бинарных операций.
Зададим бинарные операции по аналогии с классической логикой высказываний – конъюнкцию &, дизъюнкцию \/, импликацию ®, тождество º.
Например, А&B означает, что результатом этой операции является логический ряд, образованный конъюнкцией логических значений рядов А и В с одинаковыми номерами итераций. То есть, начальным условием этого ряда будет конъюнкция начальных условий А и В, значением при i=1 будет конъюнкция значений А и В при i=1 - и так далее до бесконечности.
Зададим три унарные операции – отрицание, обозначаемое знаком Ø, левый сдвиг на n значений – ln, правый сдвиг на n значений – rn.
Левый сдвиг на n значений – ln, операция, в результате которой получается новый ряд, образованный сдвигом всех значений старого ряда на n значений влево.
То есть i-тое значение преобразуется в i-1 значение. Если значение i-n определить невозможно (i-n – отрицательное число), то оно отбрасывается, и ряд пишется с i-n значения.
|
|
|
Правый сдвиг на n значений – rn, операция, в результате которой получается новый ряд, образованный сдвигом всех значений старого ряда на n значений влево.
То есть i-тое значение преобразуется в i-1 значение.
Законом ЛКР будем называть ряд с аттрактором первого рода – И.
То есть, множество детерминированных аттракторов ЛКР состоит из одного аттрактора – значения И.
Частным случаем закона является получившийся в результате некоторой операции И-вырожденный ряд (ИВ).
Формализм ЛКР:
А, В, С… – классические логические ряды, ИВ, ЛВ, ЛРЛ, ИРЛ – их частные случаи.
Операции: &, \/, ®, º, Ø, ln, rn, где n меняется от 0 до бесконечности.
Технические символы: ), (,
Если А, В – классические логические ряды, то А&В, А\/В, А®В, АºВ, ØА, lnА, rnА - тоже классические логические ряды, где n константа – целое число, которое может меняться от 1 до бесконечности.
Теорема 1 ЛКР:
Законы классической логики высказываний имеют аналоги (так же записанные ряды и операции) в ЛКР.
Доказательство следует из того, что все высказывания ЛКР, составляющие ряды - ai "подчиняются" законам классической логики – по определению ЛКР.
Вот некоторые аналоги законов.
АºА – закон тождества,
|
|
|
ØØА º А – двойного отрицания.
В ЛКР есть специфические законы. Например:
ØЛВ – закон отрицания Л-вырожденного ряда,
ЛРЛ\/ИРЛ – закон "аннигиляции" двух разных рядов лжеца.
А\/ИВ – закон дизъюнкции с истинно-вырожденным рядом.
Ø(A&ЛВ) – закон отрицания конъюнкции ЛВ ряда,
l1ЛРЛºИРЛ – закон сдвига ряда лжеца,
или в общем случае: lnЛРЛºИРЛ где n – нечетное число.
Введем обозначения для различных логик. Модификации ЛКР, связанные с изменением числа операций будем обозначать ЛКР1, ЛКР2 и так далее.
Логику рейхенбаховских рядов зададим по аналогии с операциями, введенными на высказываниях с тремя значениями Рейхенбахом и обозначить ее модификации соответственно ЛРР1, ЛРР2 и так далее.
Логики, состоящие из k значений, где k – целое число от 4 до бесконечности обозначим как ЛkР1, ЛkP2 и так далее.
Например, для четырехзначных логических рядов можно задать логики Л4Р1, Л4Р2, Л4Р3 и так далее.
Кортежи, масштабы и инварианты логических рядов. Самоподобие. Определение регулярного логического фрактала.
Введем следующие понятия:
Кортеж – конечная последовательность, упорядоченный набор компонентов – элементов кортежа.
|
|
|
Логический кортеж – кортеж, составленный из логических значений, принятых в данной k-значной логике.
Далее, употребляя термин "кортеж" мы будем иметь ввиду логический кортеж.
Длина кортежа – число компонентов кортежа.
Кортежи бывают:
Унарные – состоящие из одного значения – с единичной длиной,
Бинарные – состоящие из двух значений,
n-ки (тройки, четверки и так далее) – состоящие из трех, четырех и более значений.
Рассмотрим примеры кортежей в ЛКР:
Унарные – <И>, <Л>
Бинарные – <ИИ>, <ИЛ>, <ЛИ>, <ЛЛ>
Тройки – <ИИИ>, <ЛИИ>, <ЛЛИ>, <ЛЛЛ>, <ИЛЛ>, <ИИЛ>, <ИЛИ>, <ЛИЛ>.
Так как число кортежей при фиксированной длине кортежа конечно, то каждый логический ряд можно представить как бесконечную последовательность кортежей.
Рассмотрим в качестве примера ИРЛ, отделяя кортежи пробелом:
ИРЛ как последовательность унарных кортежей: И Л И Л И Л И Л …
ИРЛ как последовательность бинарных кортежей: ИЛ ИЛ ИЛ ИЛ ИЛ …
ИРЛ как последовательность троек: ИЛИ ЛИЛ ИЛИ ЛИЛ ИЛИ ЛИЛ …
ИРЛ как последовательность четверок: ИЛИЛ ИЛИЛ ИЛИЛ ИЛИЛ…
ИРЛ как последовательность пятерок: ИЛИЛИ ЛИЛИЛ ИЛИЛИ ЛИЛИЛ ИЛИЛИ …
Введем понятие масштаба и инварианта.
|
|
|
Масштаб с разрешением n ( n -й масштаб) – бесконечный буквенный ряд, получающийся при последовательном обозначении составляющих ряд разных кортежей, длиной n разными буквами.
При этом, для обозначения кортежей надо придерживаться следующего правила: начинать обозначение надо каждый раз с одной и той же буквы греческого алфавита при рассмотрении ряда на новом количестве значений в кортеже, а новый кортеж, встречающийся на исследуемом масштабе, обозначать следующей буквой алфавита.
Для ИРЛ масштаб с разрешением 1 будет следующим:
a b a b a b a b …
масштаб ИРЛ с разрешением 2:
a a a a a…
масштаб ИРЛ с разрешением 3:
a b a b a b a b …
масштаб ИРЛ с разрешением 4:
a a a a a a a …
масштаб ИРЛ с разрешением 5:
a b a b a b a b …
Видна интересная закономерность – четные масштабы тождественны между собой и нечетные масштабы тоже тождественны между собой.
Для описания масштабных характеристик рядов введем следующие определения:
Самоподобным рядом или инвариантом (инвариантным относительно определенных масштабов) будем называть ряд, у которого есть минимум два тождественных масштаба.
Универсальным инвариантом (универсально инвариантным) будем называть такой ряд, все масштабы которого тождественны.
ИРЛ не является универсально инвариантным, так как он имеет не тождественные масштабы.
ИРЛ является самоподобным или инвариантным относительно четных масштабов – четные масштабы имеют одинаковую структуру и ИРЛ является инвариантным относительно нечетных масштабов – нечетные масштабы тоже имеют одинаковую структуру. Примерами универсально инвариантного ряда являются ИВ и ЛВ.
Тривиально инвариантным на выделенных масштабах рядом будем называть с тождественными обозначениями кортежей на описанных нами масштабах. ИРЛ на четных масштабах, а так же ИВ и ЛВ на всех масштабах являются тривиально инвариантными и самоподобными рядами.
Регулярным логическим фракталом будем называть самоподобный ряд, у которого есть хотя бы два масштаба, внутри которых обозначения кортежей не тождественны. Или, другими словами, регулярный логический фрактал это самоподобный ряд, минимум два масштаба которого не являются тривиально инвариантными.
ИВ и ЛВ не являются логическими фракталами, а ИРЛ и ЛРЛ являются регулярными логическими фракталами.
Дата добавления: 2018-10-26; просмотров: 190; Мы поможем в написании вашей работы! |
Мы поможем в написании ваших работ!