Понятие «От сказанного в собирательном смысле к сказанному в разделительном смысле»
выражение, которым обозначают ошибку, возникающую из-за игнорирования разницы между собирательными и разделительными понятиями.
Тождественно-истинное высказывание
Предмет
Логика
👍 Проверено
Автор24
высказывание, которое при любых значениях простых суждений, входящих в его состав, имеет значение «истинно». Такие высказывания называют также тавтологиями, а формулы, которые им соответствуют, — тождественноистинными формулами или законами логики.
Научные статьи на тему «Тождественно-истинное высказывание»
Исчисление высказываний
Также не являются высказываниями фразы, для которых невозможно установить их истинность....
Классическое исчисление высказываний оперирует двумя истинностными значениями:
0 – ложь,
1 – истина...
Определение 3
Логикой высказываний называют раздел логики, в котором вопрос о ложности или истинности...
Тождественно истинные формулы
Определение 5
Формулу исчисления высказываний называют тождественно...
Примерами тождественно истинных формул, имеющих большое значение для логики высказываний, являются:
Статья от экспертов
Представление импликативной условной связи посредством объединения ее видов
Различается импликация как двузначный, двуместный функтор α (φ, ψ), где φ, ψ простые высказывания и импликативно условная связь высказываний (φ→ψ). Импликация α(φ,ψ) не означает, что (φ→ψ); (φ→ψ) только и если только α (φ, ψ) тождественно истинное. Не всё, что говорится о α (φ, ψ), можно сказать относительно (φ→ψ). Например, α (φ, ψ) для любых высказываний равно (⌐φ ˅ ψ), где ⌐ отрицание, а ˅ дизъюнкция, в то время как (φ→ψ) не равно (⌐φ ˅ ψ). Принимается система высказываний G, в которой вопрос о представлении функции (φ→ψ) через другие функции решен. При этом определяются значения для высказываний из G любой степени сложности. Так, два высказывания φ (x1, x2, …, xn) и ψ (x1, x2, …, xn) G-множества определяются как формально независимые на М, если и только если для любых пакетов значений их аргументов (а1, а2, …, аn), где ai принадлежит М (для i от 1 до n), выражение (φψ) может принимать только следующие значения истинности-ложности: или (11), или (10), или (01), или (00). Всего вы...
Creative Commons
Научный журнал
Неправильные логические рассуждения
, а тождественные – за различные....
Этот принцип может быть определен по-разному:
ни одно высказывание не может быть одновременно истинным...
не могут быть одновременно истинными высказывание и его отрицание....
Закон исключенного третьего (принцип, который обуславливает истинность высказываний)....
В современной формулировке он звучит так: «Истинно или само высказывание, или его отрицание».
Статья от экспертов
Уточнение списка аристотелевских силлогизмов
Обосновывается ошибочность, по крайней мере, в той части, где речь идет о принимаемости силлогистических формул на основе их Х-матриц, тезиса о том, что из утвердительных простых категорических высказываний нельзя получить отрицательное высказывание. В статье предъявлены два аристотелевских силлогизма ApmAmsOsp и AmsApmOsp, в которых истинность посылок гарантирует истинность заключений при условии запрета подставлять в них вместо s, p, m тождественные общие имена. Указанные силлогизмы ошибочно относят к множеству «неправильных», а потому не принимаемых, отбрасываемых формул аристотелевской силлогистики. Полученные результаты позволяют обнаружить «утерянные» законы аристотелевской силлогистики: найдена формула AspOsp, имеющая такую же Х-матрицу, как и законы обращения или подчинения для выражений вида Asp, Isp, Esp, Osp. Эту формулу уместно называть вторым законом обращения общеутвердительных высказываний. Формулы ApmAmsOsp, AmsApmOsp, AspOps трудно найти, но они легко доказываются с...
Creative Commons
Научный журнал
Еще термины по предмету «Логика»
А не есть не-А
краткая запись закона противоречия.
Аксиоматическое определение
определение, в котором понятие вводится на основе некоторых исходных положений (аксиом).
- Высказывание
- Истина
- Тождественный оператор
- Принцип тождественности
- Тождественные частицы
- Высказывание (PROPOSITION)
- Эквивалентные высказывания
- Аналитическое высказывание
- Достоверное высказывание
- Логика высказываний
- Номологическое высказывание
- Нормативное высказывание
- Оценочное высказывание
- Сложное высказывание
- Условное высказывание
- Экзистенциальное высказывание
- Эллиптическое высказывание
- Актуализация (высказывания)
- Высказывание нерасчлененное
- Высказывание общеверификативное
Повышай знания с онлайн-тренажером от Автор24!
- Напиши термин
- Выбери определение из предложенных или загрузи свое
- Тренажер от Автор24 поможет тебе выучить термины с помощью удобных и приятных карточек
