Студопедия

Главная страница Случайная страница

Разделы сайта

АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторикаСоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника






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 строк::

 

p q r Ø q p & Ø q (p & Ø q) É r
             
      ½      
             
    ½   ½ ½  
    ½ ½ ½ ½ ½
    ½   ½ ½ ½
             
      ½     ½
             
  ½          
  ½   ½      
  ½          
  ½ ½   ½ ½  
  ½ ½ ½ ½ ½  
  ½ ½   ½ ½ ½
  ½       ½  
  ½   ½   ½  
  ½       ½ ½
             
      ½      
             
    ½   ½    
    ½ ½ ½    
    ½   ½    
             
      ½      
             

 

Кроме табличного способа определения логических союзов, существует еще способ их определния в форме равенств.

Воспользуемся обозначениями логических союзов с помощью польской бесскобочной символики, к которой прибегал и Лукасевич:






© 2023 :: MyLektsii.ru :: Мои Лекции
Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав.
Копирование текстов разрешено только с указанием индексируемой ссылки на источник.