Проблема истинности сложных суждений. Таблицы истинности

Мир в целом представляет собой бесконечную комбинацию упорядоченных и хаотичных явлений. Научные теории пытаются установить законономерности проявления порядка среди хаоса. В их законах выражаются необходимые и существенные, устойчивые и повторяющиеся связи и отношения, существующие между предметами, явлениями или процессами. Законы мышления характеризуют необходимые и устойчивые связи между мыслями. Законы логики действуют независимо от воли и желания людей и в этом смысле они также объективны, как и законы природы. Законы логики во все времена отражали упорядоченность процессов человеческого мышления и поэтому являются универсальными и необходимыми императивами правильного мышления.

---

Курсовая работа по уголовному праву на заказ поможет вам сэкономить свое время. Доверьте написание курсовой работы Work5!

---

. Актуальность темы. Логика изучает логические формы мышления – понятия, суждения и умозаключения. Суждение – это отражение связей между предметами и явлениями действительности или между их свойствами и признаками. Суждения бывают истинные и ложные; общие, частные и единичные. Общие суждения касаются всех предметов и явлений, объединяемых понятием. Частное суждение распространяется только на часть предметов и явлений, относящихся к конкретному понятию. Единичное суждение касается индивидуального понятия. Суждения раскрывают содержание понятий: если человек высказывает суждение, он должен знать содержание понятий, входящих в состав суждения. Суждения входят в состав сложных суждений, которые необходимо грамотно применять и интерпретировать. Для простоты запоминания сложных суждений существуют таблицы истинности, которые необходимо уметь правильно строить, руководствуясь правилами логики. Этим и обусловлена актуальность данной работы. Цель работы заключается в рассмотрении проблемы истинности сложных суждений и их таблиц истинности. Для достижения поставленной цели, необходимо решить ряд задач: 1. Рассмотреть общие аспекты сложных суждений, проблемы их истинности. 2. Построить таблицы истинности сложных суждений. Объект исследования – суждения. Предмет исследования – сложные суждения и их таблицы истинности. Методы исследования: анализ, сравнение. Практическая значимость. На основании полученных в результате работы таблиц истинности можно наглядно доказывать логические эквивалентности. Структурно работа состоит из введения, двух глав, заключения и списка использованной литературы. В первой главе будут рассмотрены основные сведения о сложных суждениях, продемонстрированы их формулы, указаны условия истинности, приведены примеры. Во второй главе будут построены таблицы истинности сложных суждений, приведены доказанные логические эквивалентности. 

Данная работа посвящена теме проблемы истинности сложных суждений и их таблицам истинности. В первой главе были рассмотрены общие аспекты сложных суждений, показаны их условные обозначения и формулы, выявлены условия истинности, а также приведены словесные примеры. Во второй главе были построены таблицы истинности сложных суждений. Наглядно продемонстрированы условия истинности, приведенные в первой главе. На основании таблиц истинности приведены в пример доказанные логические эквивалентности. Подведем итоги данной работы, обобщив ее результаты в виде выводов: 1. Сложное суждение - это суждение, которое состоит из двух и более простых суждений, связанных между собой логическими союзами 2. Рассмотрим основные виды сложных суждений: • конъюнкция – AV В. Высказывание истинно тогда и только тогда, когда каждое из простых высказываний истинно, и ложно, когда, хотя бы одно из простых высказываний, ложно. • строгая дизъюнкции – A V В. Данное суждение истинно тогда, когда истинно только одно из двух исходных суждений. • нестрогая дизъюнкция - AV В. Суждение истинно тогда, когда хотя бы одно из исходных суждений истинно. • импликация - А→В. Данное суждение истинно всегда, кроме случая, когда первое простое суждение истинно, а второе суждение - ложно. • эквиваленция - А↔В. Суждение истинно, когда оба из простых суждений истинны или оба из суждений ложны. • отрицание - ¬А. Данное суждение истинно тогда, когда противоречащее суждение ложно. 3. Для построения логической формулы изначально нужно понять смысл суждения, выявить его составные части, а также определить с характер связей между входящими в него простыми суждениями. 4. Установление истинности логических формул, полученных в результате, определяется правилами и алгоритмами. В качестве алгоритма вычисления истинности выступают соответствующим образом построенные таблицы истинности. 5. На основании построенных таблиц истинности сложных суждений, можно доказать логические эквивалентности, такие как: Законы идемпотентности, двойного отрицания, де Моргана, контрапозиции; свойства коммутативности, ассоциативности и дистрибутивности и др. Рекомендациями к дальнейшему изучению может быть изучение умозаключений. Практическая значимость работы заключается в возможности применения выведенных таблиц истинности для доказывания логических эквивалентностей – законов и свойств. Цель работы достигнута, задачи решены в полном объеме.  

1. Баркова В.В. Логика / В.В. Баркова. – Челябинск: Южно-Урал. гос. гум.-пед. ун-та, 2018. -239 с. 2. Гладкий А.В. Введение в современную логику / А.В. Гладкий. – М.: УРСС, 2020. -236. 3. Ивлев Ю.В. Практикум по логике.Уч.пос / Ю.В. Ивлев.-М.: Проспект,2019. – 336с. 4. Карпенко А.С. Развитие многозадачной логики / А.С. Карпенко. – М.: УРСС, 2016. – 448с. 5. Кириллова В.И. Логика.Уч. для бакалавров.-6-е изд. / В.И. Кириллова. – М.: Проспект, 2018. – 240с. 6. Кожеурова Н.С. Логика / Н.С. Кожеурова. – М.: Юрайт, 2018. – 320с. 7. Латыпов И.В. Основы логики и теории аргументациикоммуникативной деятельности / И.В. Латыпов. – Ижевск: Удмуртский университет, 2012. – 64с. 8. Струве Г.В. Элементарная логика / Г.В. Струве. – М.:Ленанд,2020. – 168с. 9. Тренделенбург А. Логические исследования. Часть 2. Понятие и суждение, умозаключение, отрицание, косвенное доказательство. Соотношение идеализма и реализма в философии / А. Тренделенбург. – Либроком, 2020. – 536с. 10. Виды сложных суждений. Отношения между видами сложных суждений. Модальные суждения и отношения между ними. Логические действия с суждениями. // [Электронный ресурс]: https://myfilology.ru//169/vidy-slozhnyx-suzhdenij-otnosheniya-mezhdu-vidami-slozhnyx-suzhdenij-modalnye-suzhdeniya-i-otnosheniya-mezhdu-nimi-logicheskie-dejstviya-s-suzhdeniyami/ (дата обращения: 17.12.2020).