Главная страница Случайная страница КАТЕГОРИИ: АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторикаСоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника |
Frac12; 0 0 1 1 1
V. q º 1 ½ 0 p 1 1 ½ 1 ½ ½ 1 ½ 0 0 ½ 0
Приведенное Лукасевичем табличное определение логических союзов базируется на своеобразной трактовке третьего значения «нейтрально» («неопределенно», или ½). Оно рассматривается как две равно возможные ситуации: а) высказывание «р» может иметь значение «истинно» (1), и б) высказывание «р» может иметь значение «ложно» (0). В таком случае, когда рассматриваетя конъюнктивное высказывание p v q, где р =1, а q = ½, следует допускать две возможности: І – 1 v 1= 1 и ІІ – 1 v 0 = 1. Виходит, что значением высказывания p v q будет «1». Или рассмотрим импликацию p É q, где опять р = 1, а q =½. В этом случае имеем следующую ситуацию: І – 1 É 1 = 1; ІІ – 1 É 0 = 0. Следовательно, импликация при таком наборе истинностных значений, когда антецедент истинный (1), а консеквент неопределенный (½) примет значение «½». Таким путем устаналиваются значения любых формул в трехзначной логике Лукасевича. Если число строк в таблице истинности двузначной логики определяется по формуле 2ⁿ (n – число пропозициональных переменных в формуле), то в трехзначной логике оно определяется по формуле 3ⁿ. В качестве примера построим таблицу истинности для высказывания (p & Ø q) É r. Данная таблица должна иметь 27 строк::
Кроме табличного способа определения логических союзов, существует еще способ их определния в форме равенств. Воспользуемся обозначениями логических союзов с помощью польской бесскобочной символики, к которой прибегал и Лукасевич:
|