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

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

    Фейербах - в середине 19 века острая критика идеализма, религии
    Философия и религия противоположны!- Критика религии: чел считает, что он сотворен Богом, но на самом деле человек сотворил Бога сам.- Человек – часть вечной природы.- Человек – психофизическое един ...

    11.1 Эпистемологический и онтологический плюрализм Н.Гудмена
      Нельзя провести никакое ясное и устойчивое общее различие между содержанием и способом дискурса — таково послание, встречающее читателя на первых же страницах "Способов создания миро ...

    10.4 Прагматическая теория истины
      В классическом прагматизме Ч.С.Пирса и его последователей носителем истины признается идея — термин, свободно используемый этими философами для обозначения мнений, полаганий, утверждений ...