4.5.1 Возникновение и формализация модальных логик
Другая философия / Аналитическая философия / 4.  Львовско-Варшавская логическая школа и ее влияние на АФ / 4.5 Многозначные логики Я. Лукасевича / 4.5.1 Возникновение и формализация модальных логик
Страница 6

р

р

 

®

1

png">

0

1

0

1

1

0

1

1

0

1

0

1

1

1

Ú

1

0

 

&

1

0

1

1

1

1

1

1

0

1

0

0

1

0

0

0

0

0

При этом, формула А – тавтология, если при любом приписывании истинностных значений из множества á1, , 0 ñ пропозициональным переменным, входящим в формулу А, она принимает значение 1, которое называется выделенным истинностным значением. Множество тавтологий представляет собой трехзначную матричную логику Лукасевича.

Страницы: 1 2 3 4 5 6 7

    Смотрите также

    9.4 Реализм и антиреализм: теоретико-познавательный аспект
      Спор о реальности или нереальности "внешнего мира" вообще и объектов познания в частности, известный как спор между представителями реализма и его противниками и имеющий очень с ...

    Введение. Эволюция и основные характеристики аналитической философии
      Под анализом они (аналитические философы) подразумевают нечто, что, насколько бы точная его дескрипция ни была избрана, означало бы по крайней мере попытку переписать те утверждения, кото ...

    Николай Бердяев. Смысл творчества (опыт оправдания человека)
    Введение   Дух человеческий – в плену. Плен этот я называю "миром", мировой данностью, необходимостью. "Мир сей" не есть космос, он есть некосмическое состояни ...