Релевантная логика была развита
(*ответ*) американскими логиками А.Р. Андерсоном и Н.Д. Белнапом
английским логиком и философом Б. Расселом
американским логиком и философом К.И. Льюисом
голландским математиком и логиком Л. Брауэром
Российские математики А.Н. Колмогоров, В.А. Гливенко, А.А. Марков стояли у истоков логики
(*ответ*) конструктивной
паранепротиворечивой
модальной
интуиционистской
Системы в логике называют формализованным языком, если он представлен как множество правильно построенных
(*ответ*) интерпретированных выражений вместе с определенными процедурами логической дедукции
выражений, состоящих из элементов некоторого фиксированного множества (алфавита языка)
интерпретированных выражений
выражений вместе с процедурами преобразования одних выражений в другие
Терминами «формальная система» и «логическая система» называют язык как множество правильно построенных
(*ответ*) выражений вместе с процедурами преобразования одних выражений в другие
интерпретированных выражений
выражений, состоящих из элементов некоторого фиксированного множества (алфавита языка)
интерпретированных выражений вместе с определенными процедурами логической дедукции
Физические модальные понятия - это
(*ответ*) физически необходимо
логически случайно
неразрешимо
плохо
Физические модальные понятия - это
(*ответ*) физически невозможно
неразрешимо
безразлично
обязательно
Формула: ((p ® q) ¨ p) ® q классической логики выражает суждение
(*ответ*) логической модальности (тождественно истинное высказывание)
деонтической модальности
физической модальности
оценочное
Формула: ((p ® q) ¨ ù q) ® ù p классической логики выражает суждение
(*ответ*) логической модальности (тождественно истинное высказывание)
физической модальности
деонтической модальности
логической модальности (закон противоречия)
Формула: ¸ А « ù ¨ ù А выражает закон модальной логики
(*ответ*) возможно, что А тогда, и только тогда, когда не необходимо, что не-А
если необходимо, что А, то А
необходимо, что А тогда, и только тогда, когда невозможно, что не-А
если А, то возможно, что А
Формула: ù (p ¨ ù p) классической логики выражает суждение
(*ответ*) логической модальности (закон противоречия)
деонтической модальности
физической модальности
оценочное
Формула: ¨ А « ù ¸ ù А выражает закон модальной логики
(*ответ*) необходимо, что А тогда, и только тогда, когда невозможно, что не-А
возможно, что А тогда, и только тогда, когда не необходимо, что не-А
если необходимо, что А, то А
если А, то возможно, что А
Формула: ¨ А ® А выражает закон модальной логики
(*ответ*) если необходимо, что А, то А
возможно, что А тогда, и только тогда, когда не необходимо, что не-А
необходимо, что А тогда, и только тогда, когда невозможно, что не-А
если А, то возможно, что А
Формула: p « p классической логики выражает суждение
(*ответ*) логической модальности (закон тождества)
деонтической модальности
оценочное
физической модальности