Заглавная страница Избранные статьи Случайная статья Познавательные статьи Новые добавления Обратная связь FAQ Написать работу КАТЕГОРИИ: АрхеологияБиология Генетика География Информатика История Логика Маркетинг Математика Менеджмент Механика Педагогика Религия Социология Технологии Физика Философия Финансы Химия Экология ТОП 10 на сайте Приготовление дезинфицирующих растворов различной концентрацииТехника нижней прямой подачи мяча. Франко-прусская война (причины и последствия) Организация работы процедурного кабинета Смысловое и механическое запоминание, их место и роль в усвоении знаний Коммуникативные барьеры и пути их преодоления Обработка изделий медицинского назначения многократного применения Образцы текста публицистического стиля Четыре типа изменения баланса Задачи с ответами для Всероссийской олимпиады по праву Мы поможем в написании ваших работ! ЗНАЕТЕ ЛИ ВЫ?
Влияние общества на человека
Приготовление дезинфицирующих растворов различной концентрации Практические работы по географии для 6 класса Организация работы процедурного кабинета Изменения в неживой природе осенью Уборка процедурного кабинета Сольфеджио. Все правила по сольфеджио Балочные системы. Определение реакций опор и моментов защемления |
Трехзначная система ЛукасевнчаСодержание книги
Поиск на нашем сайте
Трехзначная пропозициональная логика (логика высказываний) была построена в 1920 г. польским математиком и логиком Я. Лукасевичем (1878-1956)'. В ней “истина” обозначается 1, “ложь” - 0, “нейтрально” – 1/2. В качестве основных функций взяты отрицание (Nx) и импликация (Сху); производными являются конъюнкция (Кху) и дизъюнкция (Аху). Тавтология принимает значение 1. Отрицание и импликация соответственно определяются матрицами (таблицами) так:
Отрицание Лукасевича
[ Nx ] = 1 - [ x ] Конъюнкция определяется как минимум значений аргументов: [ Кху ] = min ([ х ], [ у ] ); дизъюнкция - как максимум значений х и у [ Аху ]= таx ([ х ], [ у ] ). Пользование таблицей для импликации Лукасевича, выраженной в форме х → у, происходит так. Слева в первой колонке написаны значений для х, а сверху - значения для у. Возьмем, например [ х ] = 1/2 (т. е. значение для х, равное 1/2), а [ у ] = 0, получаем импликацию 1/2→ 0. На пересечении получаем результат 1/2. Если в формулу входит одна переменная, как, например, в случае формулы a , то таблица истинности для этой формулы, включающая все возможные значения истинности, или ложности, или неопределенности ее переменной в таблице, будет состоять из 3' = 3 строки; при двух переменных в таблице будет 32 = 9 строк; при трех переменных в таблице имеем З3 = 27 строк; при n переменных будет 3 n строк. Покажем, как происходит доказательство для формул a (закон исключенного третьего) и для (закон непротиворечия), содержащих одну переменную, т. е. а. В таблице будет всего 3' = 3 строки.
Для доказательства формулы a используем знание о том, что дизъюнкция берется по максимуму. В третьей колонке, соответствующей a, видим, что вместе со значениями 1 есть значение 1/2. Следовательно, эта формула не есть закон логики. Аналогично строятся колонки 4 и 5, только соблюдая условие, что конъюнкция берется по минимуму значений. Формула также не является законом логики. Теперь посмотрим, является ли законом логики формула (х → ( ^ у)) → , содержащая две переменные х и у В таблице будет З2 = 9 строк. Распределение значений истинности для х и у показано в первой и второй колонках. Вывод: так как в последней колонке встречается два раза значение неопределенности (т. е. 1/2), то данная формула не является законом логики. На основе данных определений отрицания, конъюнкции и дизъюнкции Лукасевича не будут тавтологиями (законами логики) закон непротиворечия и закон исключенного третьего двузначной логики. В системе Лукасевича не являются тавтологиями и отрицания законов непротиворечия и исключенного третьего двузначной логики. Поэтому логика Лукасевича не является отрицанием двузначной логики. В логике Лукасевича тавтологиями являются: правило снятия двойного отрицания, все четыре правила де Моргана и правило контрапозиции: а → b → . Не являются тавтологиями правила приведения к абсурду двузначной логики; (х → ) → и (х → ( ^ у)) → (т. е. если из х вытекает противоречие, то из этого следует отрицание х). Это было доказано (см. таблицу 3). Таблица 3
В системе Лукасевича не являются тавтологиями и некоторые формулы разделительно-категорического силлогизма с нестрогой дизъюнкцией. Все тавтологии логики Лукасевича являются тавтологиями в двузначной логике, ибо если отбросить значение 1/2, то в логике Лукасевича и в двузначной логике определение функций конъюнкции, дизъюнкции, импликации и отрицания соответственно совпадут. Но так как в логике Лукасевича имеется третье значение истинности –1/2, то не все тавтологии двузначной логики являются тавтологиями в логике Лукасевича.
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Последнее изменение этой страницы: 2016-12-26; просмотров: 245; Нарушение авторского права страницы; Мы поможем в написании вашей работы! infopedia.su Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав. Обратная связь - 18.191.205.149 (0.008 с.) |