ОСНОВНЫЕ ПОНЯТИЯ ЛОГИКИ И СУЖДЕНИЙ презентация

Владимировна
г. Караганды

языковых выражений. Высказывания могут быть выражены с помощью естественных языков и формальных.
Например, высказывание на естественном языке имеет вид "пятью пять — двадцать пять", а на формальном, математическом языке оно записывается в виде: "5 * 5 = 25".
Высказывание — законченное по смыслу
предложение, относительно которого
можно утверждать, истинно оно или ложно.
С незапамятных времен существовала
такая наука, как ЛОГИКА

в частности, о законах доказательных рассуждений.

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

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

Формальная логика связана с анализом
наших обычных содержательных
рассуждений. выражаемых разговорным
языком.

v рассуждения со строго определенными объектами и суждениями, для которых возможно однозначно решить, истинны они или ложны.
Вероятностная логика основана на применении больших серий испытаний со случайными параметрами. Точность полученных
результатов зависит от количества
проведенных опытов. Например,
вероятность выпадения "орла" или
"решки" при бросании монеты
равна 1/2, и чем больше произведено
бросаний монеты, тем эта вероятность точнее.

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

суждения "Снег белый", "2*2=4" истинные, а суждения "Земля плоская", "2*2=5" ложные.
Обычно те факты, которые мы наблюдаем, принимаются за истинные. Ложные
утверждения возникают чаще
всего из-за ошибок в рассуждениях
или предположениях или из-за
стремления выдать желаемое
за действительное.

например "3+3<7", "Сегодня был солнечный день".
Общие суждения характеризуют свойства групп объектов или явлений, например "Если прошел дождь, то на улице мокро", "Любой квадрат является параллелограммом", и т. п.
Общие суждения могут оказаться истинными для какой-то части объектов и ложными
для других объектов.
Например, утверждение
"Собаки не любят кошек" справедливо
для большого числа собак, но
не для всех. Утверждение "х*у>0" истинно
для х=1 и у=1 и в то же время ложно
для х=0 при произвольном у.

— великий поэт}.
В = {Пушкин А. С. — великий математик}.

Истинному высказыванию ставится в соответствие "1", ложному — "0".
Таким образом: А = 1, В = 0.

смышленый.

Составные высказывания на естественном языке образуются с помощью союзов "И", "ИЛИ", "НЕ", которые в алгебре высказываний заменяются на логические операции.

мы будем работать в саду и парке.

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

утверждение, и, наоборот, отрицание ложно, если верно исходное утверждение.

— это устройство ввода информации.
2) Внимание!
3) 5 = 4 + 1
4) Сумма чисел "4" и "1" равна "5".
5) Сумма чисел "4" и "1" не равна "5".
6) 4 + 1 = 5
7) 4 + 1 > 5
8) А — первая буква в алфавите.
9) Сколько в одной тонне килограммов?
10) В одной тонне 1000 килограммов.
11) В одной тонне 100 килограммов.
12) Число 2 — четное.
13) Число 2 — четное?
14) Некоторые ученики моего класса — "отличники".
15) Все ученики моего класса — "отличники".
16) Который час?
17) Сейчас половина одиннадцатого.

все может.
3) Тигр — хищное животное.
4) Все медведи бурые.
5) Все птицы умеют летать.
6) Принтер — это устройство вывода информации.
7) Луна является спутником Земли.
8) Домбра — казахский народный инструмент.
9) Астана — столица Казахстана.
10) Акын — народный поэт-певец.