Понятие высказывания

Тема 1. Логика высказываний

Введение

Июль, 2013 г.

Аден, Западная Крепость.

Любовью — за верность! Почестями — за доблесть!

Основатель небесного Альянса, Лидер клана Царство небесное, Главный Архитектор политической ситуации, Идейный вдохновитель культурного альтернативного сайда на сервере и доминирования сервера КАИН над другими серверами 4 гейм Сир AnDragon!!!

С уважением и надеждой, на длительное, плодотворное, взаимовыгодное сотрудничество!!!

СЛАВА КИНГДОМУ!!!

Надеемся, что вам у нас понравится.

Добавлено через 1 минуту

Заходите в наш РК: 6125644

Милости просим всех сознательных мемберов!!! В Кингдоме у всех есть 2й шанс!!!!

Прочел забаненную тему с названием Сайлент-Баран - сразу отмечу, вне зависимости от содержания - тема не моя!!!

Я еще не опустился до того, чтобы заходить под чужими никами...

Более подробная информация о единственной Белой Империи на сервере - клана КИНГДОМ...

Скриншоты:

http://vk.com/kingdomofheavenkain

Наша стена на Л2он:

http://l2on.net/?c=comments&id=23630

На популярном тематическом форуме "Гоха"-Сервер КАИН:

http://forums.goha.ru/showthread.php?t=879888

http://forums.goha.ru/showthread.php?t=882607

http://forums.goha.ru/showthread.php?t=887318 (На Кадмусе)

"И я не забуду Вашей клятвы... И не замедлю должно воздать Вам!

А за измену — отмщением...""

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

Исходное утверждение называется посылкой, результирующее утверждение – заключением.

Пример 1.

П1: Все люди смертны.

П2. Сократ – человек.

З: Сократ смертен.

Пример 2.

П1: Все граждане России имеют право на образование.

П2: Иванов – гражданин России.

З: Иванов имеет право на образование.

Оба эти вывода имеют одну и ту же форму:

Все А есть В;

С есть А;

Следовательно, С есть В.

В этих рассуждениях нам не интересна истинность или ложность отдельных посылок. Нам важно знать вытекает ли истинность заключения из истинности посылок.

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

Рассмотрим логику высказываний, которая лежит в основе всех других разделов математической логики (МЛ) и необходима для их понимания.

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

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

Примеры.

1. Число 100 делится на 5.

2. Число 3 больше числа 5.

3. Луна больше Земли.

4. Сегодня светит солнце.

5. Вечером мы пойдем в кино.

Из простых высказываний с помощью некоторого числа логических операций можно построить сложные высказывания.

1. Число 100 делится на 5 и число 100 делится на 10.

2. Неверно, что 3 больше 5.

3. Сегодня мы пойдем в кино или мы пойдем в театр.

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

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

Дата добавления: 2014-01-15