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

Цель: ввести логическую терминологию.

Задачи:

1. Рассмотреть понятие логические связки.

2. Рассмотреть основные схемы логически правильных рассуждений.

В математической логике изучаются способы (правила) формального представления высказываний, построения новых высказываний из имеющихся с помощью логически выдержанных преобразований, а также способы (методы) установления истинности или ложности высказываний. Два основных раздела математической логики: логика высказываний и логика предикатов (рис. 2.1), для построения которых существуют два подхода (языка), образующих два варианта формальной логики: алгебру логики и логические исчисления. Между данными подходами имеет место изоморфизм, который характеризуется единством законов логики.

Рис. 2.1. Разделы математической логики и способы их построения

Высказывание - повествовательное предложение (утверждение, суждение), о котором имеет смысл говорить, что оно истинно или ложно.

Пример 1.

Высказываний: «Информационный менеджмент специальность факультета управления и предпринимательства», «Регистрация фирмы требует наличия ее устава», «Рубль - российская валюта», «Все люди смертны».

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

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