Значение истинности
 |
Эта статья предлагается к удалению.
Пояснение причин и соответствующее обсуждение вы можете найти на странице Википедия:К удалению/11 мая 2013.
Пока процесс обсуждения не завершён, статью можно попытаться улучшить, однако следует воздерживаться от переименований или немотивированного удаления содержания, подробнее см. руководство к дальнейшему действию. Не снимайте пометку о выставлении на удаление до окончания обсуждения. Администраторам: ссылки сюда, история (последнее изменение), журналы, удалить. |
 |
Эта статья или раздел — грубый перевод статьи на другом языке (см. Проверка переводов). Он мог быть сгенерирован программой-переводчиком или сделан человеком со слабыми познаниями в языке оригинала.
Вы можете помочь улучшить перевод. Оригинал можно найти слева в списке «на других языках».
Статья, целиком являющаяся машинным переводом, может быть удалена на основании критерия быстрого удаления С2. |
В логике и математике истинность, который иногда называют «логическим значением» , имеет значение, указывающее отношение предложения к правде.
Содержание |
Классическая логика [править]
классическая логика, с ее предполагаемой семантикой, правда (1 or T) и ложь (0 or ⊥);. Этот набор из двух значений называется логический домен. Соответствие семантики логических связей, значения которых выражаются в виде таблицы истинности.
- ¬(Шаблон:Mvar∧Шаблон:Mvar) ⇔ ¬Шаблон:Mvar ∨ ¬Шаблон:Mvar
- ¬(Шаблон:Mvar∨Шаблон:Mvar) ⇔ ¬Шаблон:Mvar ∧ ¬Шаблон:Mvar
Многозначная логика [править]
Многозначная логика (например, нечеткая логика позволяет более двух значений истинности, возможно, содержащих некоторые внутренние структуры.
Алгебраическая семантика [править]
Не все логические системы истинно-ценностные в том смысле, что логические связки могут быть интерпретированы как истина функций. Например, в интуиционистской логике отсутствует полный набор значений истинности, потому что его семантика, определяется в терминах доказуемости условия, а не непосредственно в терминах обязательной верности формул.
В других теориях [править]
Интуиционистской теории типов использует типы вместо значений истинности.
Топос теории использует значения истинности в особом смысле: истина значения топос является глобальным элементом х подобъектом классификатором. Имея значения истинности в этом смысле не имеет ценностной логики истины.
См. также [править]
Ссылки [править]
 |
Для улучшения этой статьи желательно?:
|
 |
Это заготовка статьи по логике. Вы можете помочь проекту, исправив и дополнив её. |
