- высказывание , полученное с помощью логических связок из простых высказываний. Наиболее употребительны С. в., образованные с помощью слов: «и», «или», «если, то», «если и только если», «не». Вместо этих слов в логике используются символы : &, v, ->, º, ~. С. в. А& В называется конъюнкцией («А и В»), A v В - дизъюнкцией («А или В»), А -> В — импликацией (« Если A, то В»), А = В — эквивалентностью («А, если и только если В»), ~ А — отрицанием («Неверно, что A», или «не-A»). Установление смысла и способа употребления логических связок, позволяющих образовывать С. в., является задачей наиболее фундаментальной и вместе с тем самой простой части логики — исчисления высказываний.
Что такое Сложное Высказывание? Значение Сложное Высказывание в словаре логики
Сложное Высказывание - - высказывание, полученное с помощью логических связок из простых высказываний. Наиболее употребительны С. в., образованные с помощью слов: «и», «или», «если, то», «если и только если», «не». Вместо этих слов в логике используются символы: &, v, ->, º, ~. С. в. А& В называется конъюнкцией («А и В»), A v В - дизъюнкцией («А или В»), А -> В — импликацией («Если A, то В»), А = В — эквивалентностью («А, если и только если В»), ~ А — отрицанием («Неверно, что A», или «не-A»). Установление смысла и способа употребления логических связок, позволяющих образовывать С. в., является задачей наиболее фундаментальной и вместе с тем самой простой части логики — исчисления высказываний.
Сложное Высказывание
Узнайте лексическое, прямое, переносное значение следующих слов:
- Теория - (от греч. theoria — наблюдение, рассмотрение, исследование) — ...
- Теоретическое И Эмпирическое - философскометодологические категории, выражающие расчлененность научного познания на ...
- Тавтология - — в обычном языке: повторение того, что уже ...
- Сходство - — наличие хотя бы одного общего признака у ...
- Суппозиция - (от лат. suppositio — подкладывание, подмена) — термин, ...
- Строгость - комплексная характеристика рассуждения, учитывающая степень ясности и ...
- Сравнительные Модальности - см.: Абсолютные и сравнительные модальности. ...
- Силлогизм - (от греч. sillogismos) категорический дедуктивное умозаключение, в ...
- Семантическое Понятие Истины - классическое понятие истины, уточненное с помощью технических ...
- Семантическая Категория - класс языковых выражений, взаимная замена которых в ...
- Связка - — в традиционной логике элемент простого суждения, соединяющий ...
- Референция - — отношение между обозначаемым и обозначающим, между предметом ...
- Релевантная Логика - одна из наиболее известных неклассических теорий логического ...
- Рекурсивное Определение - (от лат. recurso возвращаюсь) — метод определения ...
- Факт - (от лат. factum — сделанное, совершившееся) — 1) ...