Студопедия

КАТЕГОРИИ:


Архитектура-(3434)Астрономия-(809)Биология-(7483)Биотехнологии-(1457)Военное дело-(14632)Высокие технологии-(1363)География-(913)Геология-(1438)Государство-(451)Демография-(1065)Дом-(47672)Журналистика и СМИ-(912)Изобретательство-(14524)Иностранные языки-(4268)Информатика-(17799)Искусство-(1338)История-(13644)Компьютеры-(11121)Косметика-(55)Кулинария-(373)Культура-(8427)Лингвистика-(374)Литература-(1642)Маркетинг-(23702)Математика-(16968)Машиностроение-(1700)Медицина-(12668)Менеджмент-(24684)Механика-(15423)Науковедение-(506)Образование-(11852)Охрана труда-(3308)Педагогика-(5571)Полиграфия-(1312)Политика-(7869)Право-(5454)Приборостроение-(1369)Программирование-(2801)Производство-(97182)Промышленность-(8706)Психология-(18388)Религия-(3217)Связь-(10668)Сельское хозяйство-(299)Социология-(6455)Спорт-(42831)Строительство-(4793)Торговля-(5050)Транспорт-(2929)Туризм-(1568)Физика-(3942)Философия-(17015)Финансы-(26596)Химия-(22929)Экология-(12095)Экономика-(9961)Электроника-(8441)Электротехника-(4623)Энергетика-(12629)Юриспруденция-(1492)Ядерная техника-(1748)

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

Тема 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; Просмотров: 322; Нарушение авторских прав?; Мы поможем в написании вашей работы!


Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет



studopedia.su - Студопедия (2013 - 2024) год. Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав! Последнее добавление




Генерация страницы за: 0.014 сек.