Презентация на тему Логика. Введение в алгебру логики

изучает:
Формы мышления
Способы мышления

Основатель – немецкий

ученый и философ Лейбниц(1642 -1716), предпринял попытку логических вычислений.

(Булева алгебра)

Основатель - английский математик Джордж Буль(1815 – 1864),
ввёл алфавит, орфографию и грамматику для математической логики.

которого записывают (кодируют), упрощают, вычисляют и преобразовывают логические высказывания.

существенные признаки объекта.
Любое понятие состоит из двух составляющих:
объёма понятия

и
содержания понятия.

оно распространяется.
Содержание понятия- это совокупность основных, существенных признаков объекта.

одной или нескольких суждений (посылок) может быть получено новое

суждение (заключение).

или отрицается о свойствах реальных объектов и отношениях между

ними.
Высказывание может быть либо истинным, либо ложным.
Высказывание не может быть выражено повелительным или вопросительным предложением, т. к. оценка их истинности или ложности невозможна.

это пример простого высказывания.
Простое высказывание содержит одну простую мысль.
Составные

высказывания состоят из простых высказываний и логических операций.
“На улице солнечно и у меня хорошее настроение.” – это пример составного высказывания.
Алгебра высказываний определяет истинность или ложность составных высказываний.

логические переменные: А, В, С и т.д.
Значения высказываний обозначаются

следующим образом:
истина- 1
ложь- 0.

алфавита.
Квадрат является ромбом.
Квадрат гипотенузы равен сумме квадратов катетов.
Сумма углов

треугольника равна 1900.
12+14>30
Графическое изображение векторной графики формируется из точек(пикселей).
16-битные звуковые карты точнее кодируют и воспроизводят звук, чем 8-битные.

2 является делителем числа 9.
Число х не больше двух.
Уходя

гасите свет.

науки. Каково её назначение?
Какие существуют основные формы мышления?
Что такое

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

(учений) от Аристотеля.
Тавтологии, силлогизмы и парадоксы.