Словари
Deport.ru  » Словари  
 
Главная Словарь логики Слова на букву Т Таблица Истинности

Значение слова Таблица Истинности орфографическое, лексическое прямое и переносное значения и толкования (понятие) слова из словаря Словарь логики

Таблица Истинности -  - таблица, с помощью которой уста­навливается истинностное значение сложного высказывания при данных значениях входящих в него простых высказываний. В клас­сической математической логике предполагается, что каждое про­стое (не содержащее логических связок) высказывание является либо истинным, либо ложным, но не тем и другим одновременно. Нам не известно, истинно или ложно данное простое высказыва­ние, чтобы установить это, потребовалось бы обратиться к фактам действительности, но логика этого не делает. Однако мы знаем, что у высказывания имеется лишь две возможности — быть истин­ным либо быть ложным. Когда с помощью логических связок мы соединяем простые высказывания в сложное, встает вопрос: при каких условиях сложное высказывание считается истинным, а при каких — ложным? Для ответа на этот вопрос и служат Т. и. Каждая логическая связка имеет свою таблицу, которая показывает, при каких наборах значений простых высказываний сложное высказы­вание с этой связкой будет истинным, а при каких — ложным. Приведем Т. и. для отрицания, конъюнкции, дизъюнкции и имплика­ции («и» означает «истина», «л» - «ложь»): Пользуясь приведенными таблицами, для любого сложного выска­зывания, содержащего указанные связки, можем построить Т. и..   которая покажет, когда высказывание истинно и когда — ложно. В качестве примера построим Т. и. для такого высказывания: (A v~B) —> B.   Сначала, руководствуясь таблицей для отрицания, выписываем значения ~В (в таблице опущены): 1) «л»; 2) «и»; 3) «л»; 4) «и». Затем устанавливаем значения дизъюнктивного высказывания, сто­ящего в скобках. Для случая (1): A истинно, ~ В — ложно, в таблице для дизъюнкции это соответствует случаю (2), при котором дизъ­юнкция истинна, поэтому под нашим высказыванием пишем «и», и т. д. И наконец, выписываем значения истинности для имплика­ции, которая в данном случае является главной связкой нашего высказывания. Построенная таблица говорит, что наше сложное высказывание истинно при первом и третьем наборах значений про­стых высказываний и ложно при втором и четвертом наборах. Т. и. позволяет выделить из класса формул нашего языка всегда истинные формулы (тавтологии), всегда ложные формулы, устано­вить отношение логического следования между формулами, их эк­вивалентность и т. д. Наряду с двузначными Т. и. в логике использу­ются таблицы с тремя, четырьмя и т. д. значениями истинности, построением и анализом которых занимается многозначная логика.


Словарь — надежный помощник в любой ситуации. Каждый человек очень часто сталкивается с ситуацией, когда ему непонятно значение какого либо слова или выражения. Как правило, это случается в специфических отраслях деятельности, малоизвестных общему кругу людей. Мы даем вам возможность ознакомиться с более чем двадцатью русскими словарями, включая такие известные, как: толковый словарь Даля, толковый словарь Ожегова и другие.

Наш мир многогранен, имеет массу различных направлений и мнений, множество специфических и профессиональных терминов. Для того, чтобы люди могли понимать друг друга, могли обшаться, делиться информацией и не испытывать при этом каких либо затруднений, для всего этого мы публикуем на нашем сайте русские толковые словари. Каждый русский словарь имеет свою уникальную историю, несет в себе отголоски своего создателя, его труд и усилия. Каждый русский толковый словарь является результатом неимоверно кропотливой работы и исследований. Словари, в прямом смысле слова, собирались по крупицам многие годы. Каждый словарь требовал от своего создателя массу энергии, путешествий по стране, много общения с представителями разных народов и профессий. Например, толковый словарь Даля потребовал от своего создателя — Владимира Даля, талантливого русского лексикографа, 20 лет усилий. Владимир Даль объездил всю Россию, от Сибирских морозов до Камчатки, чтобы его толковый словарь имел на сегодняшний день репутацию одного из самых качественных и употребляемых словарей современности.



Популярные слова: Словарь логики
Вероятностная Логика Оценка
Закон Гипотетического Силлогизма Парадоксы Импликации
Знание Паралогизм
Идемпотентности Закон Правило Отделения
Косвенное Доказательство Предметная Область
Неясность Предсказание
Общее Суждение Пример
Определение Теоретическое И Эмпирическое
Определение Номинальное Теория
Отношение Нерефлексивное Целевое Обоснование
© 2004-2014 Deport.ru. По всем вопросам пишите на support@deport.ru.