Вам бонус- начислено 1 монета за дневную активность. Сейчас у вас 1 монета

3. Формальная логика как наука 3.1. Исчисление высказываний кратко

Лекция



Привет, Вы узнаете о том , что такое формальная логика, Разберем основные их виды и особенности использования. Еще будет много подробных примеров и описаний. Для того чтобы лучше понимать что такое формальная логика, исчисление высказываний , настоятельно рекомендую прочитать все из категории Теория конечных автоматов.

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

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

Формальная математическая логика решает проблемы проверки правильности рассуждений в естественном языке, строя свои модели и правила их преобразования. Законы формальной логики, адекватные законам мышления человека для многих приложений, были разработаны еще Аристотелем. В результате конкретизации выводов формальной логики – новых полученных формул – мы можем оценить свойства исходных предложений и получить новые предложения естественного языка.

Из всего разнообразия естественного языка логика высказываний имеет дело только с узким кругом утверждений – повествовательных предложений, которым может быть приписано значение «истина» либо «ложь» (True и False). Каждое элементарное высказывание обозначается буквой. Кроме простейших высказываний, структура которых не анализируется (они поэтому называются атомами), вводится понятие сложного высказывания или формулы – комбинации более простых высказываний. Каждой формуле также можно приписать значение «истина» либо «ложь», и такое значение определяется на основе анализа логических операций между элементарными высказываниями.

Очевидно, что логика высказываний и теория булевых функций имеют теснейшую связь: обе эти модели являются булевыми алгебрами. Фактически, двоичные функции представляют собой функциональную модель логики высказываний, в которой атомные высказывания истолковываются как двоичные переменные. Истинностные значения истина и ложь в логике соответствуют 1 и 0 в модели двоичных функций, пара основных логических связок – отрицание и импликация – составляют базис, и все остальные производные логические связки соответствуют известным нам булевым функциям.

Тождественно истинная формула, т.е. такая формула, которая принимает значение 1 на всех интерпретациях ее элементов, называется тавтологией. Тождественно ложная формула, принимающая значение 0 на всех интерпретациях ее элементов, называется противоречием. Для указания того, что данная формула является тавтологией, используется знак |=, который помещается перед формулой, например: |=(А→В) (В→С) А→С. Об этом говорит сайт https://intellect.icu . Для того чтобы проверить, является ли логическая формула тавтологией, можно составить таблицу истинности или привести к нормальной форме и использовать законы логики Буля.

Тавтологии или силлогизмы можно рассматривать как некоторые логические истинные схемы рассуждений, поэтому они играют роль законов логики высказываний. Впервые силлогизмы исследовались Аристотелем и имели фиксированную форму. Наиболее часто используемые из них следующие:

А→А – закон тождества;

А 3. Формальная логика как наука 3.1. Исчисление высказываний закон исключения третьего;

3. Формальная логика как наука 3.1. Исчисление высказыванийзакон противоречия;

3. Формальная логика как наука 3.1. Исчисление высказываний~ А – закон двойного отрицания;

3. Формальная логика как наука 3.1. Исчисление высказываний→(А →В) – falso quodlibet (из ложного что угодно);

(А →В)А→В – закон отделения или modus ponens;

(А →В) 3. Формальная логика как наука 3.1. Исчисление высказываний3. Формальная логика как наука 3.1. Исчисление высказыванийmodus tollens (доказательство от противного);

(А →В) (В→С) →(А →С) – закон силлогизма;

(А →В) →(3. Формальная логика как наука 3.1. Исчисление высказываний3. Формальная логика как наука 3.1. Исчисление высказываний) –закон контрапозиции.

Две формулы называются равносильными, если на всех наборах входных переменных они принимают одинаковые значения. Для обозначения отношения равносильности употребляют символ «3. Формальная логика как наука 3.1. Исчисление высказываний», и равносильность илилогическая эквивалентность формул А и В запишется как А3. Формальная логика как наука 3.1. Исчисление высказыванийВ (на естественном языке это будет звучать так: «А тогда и только тогда, когда В»).

В логике высказываний все доказательства строятся на отношении порядка, т.е. на отношении, которое существует между причиной и следствием. При этом объектный символ импликации «→» заменяют на субъектный символ метаимпликации «3. Формальная логика как наука 3.1. Исчисление высказываний». Говорят, что формула В являетсялогическим следствием формулы А и пишут А3. Формальная логика как наука 3.1. Исчисление высказыванийВ – «если А то В». Логическое следствие А3. Формальная логика как наука 3.1. Исчисление высказыванийВ означает, что из истинности А следует истинность В, но если А ложно, то относительно В ничего утверждать нельзя. Между логическим следствием и логической эквивалентностью имеется связь, которая вытекает из соотношения

А ~ В3. Формальная логика как наука 3.1. Исчисление высказываний(А→В)(В→А).

Это соотношение означает: А ~ В, если и только если А→В и В→А.

Пусть А ~ В – тавтология, тогда А→В и В→А – тоже тавтологии, т.е. |= А ~ В, если и только если |= А→В и |= В→А.

Логическое следствие есть отношение порядка и удовлетворяет трем законам: - рефлексивности: А3. Формальная логика как наука 3.1. Исчисление высказыванийА;

- антисимметричности: если А3. Формальная логика как наука 3.1. Исчисление высказыванийВ, то В3. Формальная логика как наука 3.1. Исчисление высказыванийА;

- транзитивности: если А3. Формальная логика как наука 3.1. Исчисление высказыванийВ и В3. Формальная логика как наука 3.1. Исчисление высказыванийС, то А3. Формальная логика как наука 3.1. Исчисление высказыванийС.

Вместо букв в логическое следствие можно поставить объектные высказывания, и тогда она наполнится конкретным содержанием, которое называется легендой.

Например: имеем А→В, А3. Формальная логика как наука 3.1. Исчисление высказыванийВ. Если принять, что А –сверкнула молния, В – грянул гром, то можно составить следующую легенду: «Известно, что если сверкнула молния, то грянет гром. Молния сверкнула, следовательно, должен грянуть гром».

Формализация процессов доказательств и выводов в логике высказываний имеет большое практическое значение и позволяет построить схемы доказательств, которые могут быть реализованы на ЭВМ. Доказательство здесь строится на отношении порядка, которое является общим случаем отношения эквивалентности. Логика высказываний является расширением логики Буля, поэтому все истинные тождества логики Буля автоматически становятся справедливыми логическими следствиями логики высказываний.

Вау!! 😲 Ты еще не читал? Это зря!

Анализ данных, представленных в статье про формальная логика, подтверждает эффективность применения современных технологий для обеспечения инновационного развития и улучшения качества жизни в различных сферах. Надеюсь, что теперь ты понял что такое формальная логика, исчисление высказываний и для чего все это нужно, а если не понял, или есть замечания, то не стесняйся, пиши или спрашивай в комментариях, с удовольствием отвечу. Для того чтобы глубже понять настоятельно рекомендую изучить всю информацию из категории Теория конечных автоматов

Из статьи мы узнали кратко, но содержательно про формальная логика
создано: 2018-05-21
обновлено: 2021-03-13
132265



Рейтиг 9 of 10. count vote: 2
Вы довольны ?:


Найди готовое или заработай

С нашими удобными сервисами без комиссии*

Как это работает? | Узнать цену?

Найти исполнителя
$0 / весь год.
  • У вас есть задание, но нет времени его делать
  • Вы хотите найти профессионала для выплнения задания
  • Возможно примерение функции гаранта на сделку
  • Приорететная поддержка
  • идеально подходит для студентов, у которых нет времени для решения заданий
Готовое решение
$0 / весь год.
  • Вы можите продать(исполнителем) или купить(заказчиком) готовое решение
  • Вам предоставят готовое решение
  • Будет предоставлено в минимальные сроки т.к. задание уже готовое
  • Вы получите базовую гарантию 8 дней
  • Вы можете заработать на материалах
  • подходит как для студентов так и для преподавателей
Я исполнитель
$0 / весь год.
  • Вы профессионал своего дела
  • У вас есть опыт и желание зарабатывать
  • Вы хотите помочь в решении задач или написании работ
  • Возможно примерение функции гаранта на сделку
  • подходит для опытных студентов так и для преподавателей



Комментарии


Оставить комментарий
Если у вас есть какое-либо предложение, идея, благодарность или комментарий, не стесняйтесь писать. Мы очень ценим отзывы и рады услышать ваше мнение.
To reply

Теория конечных автоматов

Термины: Теория конечных автоматов