Главная

Популярная публикация

Научная публикация

Случайная публикация

Обратная связь

ТОР 5 статей:

Методические подходы к анализу финансового состояния предприятия

Проблема периодизации русской литературы ХХ века. Краткая характеристика второй половины ХХ века

Ценовые и неценовые факторы

Характеристика шлифовальных кругов и ее маркировка

Служебные части речи. Предлог. Союз. Частицы

КАТЕГОРИИ:






Понятие логической теории. Логически истинные, логически ложные и логически недетерминируемые высказывания.




Логическая теория

Строится в рамках формализованного языка

Определяет в множестве всех формул класс логических законов

Определяет критерии правильного рассуждения

Схема построения логической теории:

Задается формализованный язык

Задаются правила интерпретации нелогических символов

Задаются точные значения логических символов

Определяются правила вычисления значений сложных высказываний исходя из

значений простых

Закон логической теории – формула ее формализованного языка, принимающая значение ИСТИНА при всех допустимых в рамках данной теории интерпретациях нелогических символов

Виды высказываний:

Логически истинные высказывания - высказывания, которые формализуются общезначимыми формулами.

Общезначимая (тождественно истинная) формула – формула, принимающая значение ИСТИНА при любой интерпретации входящих в нее переменных.

Логически ложные высказывания - высказывания, которые формализуются невыполнимыми формулами.

Невыполнимая (тождественно ложная) формула – формула, принимающая значение ЛОЖЬ при любой интерпретации входящих переменных.

Логически недетерминируемые высказывания – высказывания, истинность или ложность которых не определяется их формой и зависит от семантики и прагматики

Выполнимая формула – формула, принимающая значение ИСТИНА хоть при одной из допустимых в данной теории интерпретаций нелогических символов

Опровержимая формула – формула, принимающая значение ЛОЖЬ хоть при одной из допустимых в данной теории интерпретаций нелогических символов







Не нашли, что искали? Воспользуйтесь поиском:

vikidalka.ru - 2015-2024 год. Все права принадлежат их авторам! Нарушение авторских прав | Нарушение персональных данных