Алгебра логики

Август 31, 2022

Главная
Информатика
Алгебра логики

Содержание

2. Мышление Логика – наука о формах и способах мышления. Основные формы мышления – понятие, высказывание, умозаключение.
3. Мышление Понятие – форма мышления, фиксирующая основные, существенные признаки объекта. Понятие имеет две стороны – содержание
4. Мышление Высказывание – форма мышления, в которой что – либо утверждается или отрицается о свойствах реальных
5. Мышление Умозаключение – форма мышления, с помощью которой из одного или нескольких суждений (посылок) может быть
6. Алгебра логики Алгебра логики- раздел математики, изучающий высказывания, рассматриваемые со стороны их логических значений (истинности или
7. Алгебра логики Алгебра логики возникла в середине XIX в в трудах английского математика Джорджа Буля. Ее
8. Алгебра логики Логическое высказывание – это любое повествовательное предложение, в отношении которого можно однозначно сказать, истинно
9. Алгебра логики Пример: 6- четное число следует считать высказыванием, т.к. оно истинное Пример: Рим – столица
10. Алгебра логики Не всякое предложение является логическим высказыванием. Пример: «ученик 9 класса» и «информатика – интересный
11. Алгебра логики Пример: «в городе А более миллиона жителей» - является высказыванием? Почему?
12. Алгебра логики Пример: «у него голубые глаза» - является высказыванием? Почему?
13. Алгебра логики Такие предложения называются высказывательными формами. Высказывательная форма – повествовательное предложение, которое прямо или косвенно
14. Алгебра логики Логические связки – употребляемые в обычной речи слова и словосочетания «не», «и», «или», «если…,
15. Алгебра логики Пример: «Петров - врач» , «Петров - шахматист». При помощи связки «и» получаем составное
17. Скачать презентацию

Слайд 2

Мышление
Логика – наука о формах и способах мышления.
Основные формы

мышления –
понятие,
высказывание,
умозаключение.

Слайд 3

Мышление
Понятие – форма мышления, фиксирующая основные, существенные признаки объекта.
Понятие имеет

две стороны – содержание (совокупность существенных признаков объекта) и объем (совокупность предметов, на которую распространяется понятия).

Слайд 4

Мышление
Высказывание – форма мышления, в которой что – либо утверждается или

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

Слайд 5

Мышление
Умозаключение – форма мышления, с помощью которой из одного или нескольких

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

Слайд 6

Алгебра логики
Алгебра логики- раздел математики, изучающий высказывания, рассматриваемые со стороны их

логических значений (истинности или ложности) и логических опреаций над ними.

Слайд 7

Алгебра логики
Алгебра логики возникла в середине XIX в в трудах английского

математика Джорджа Буля.
Ее создание представляло собой попытку решить традиционные логические задачи алгебраическими методами.

Слайд 8

Алгебра логики
Логическое высказывание – это любое повествовательное предложение, в отношении которого

можно однозначно сказать, истинно оно или ложно.

Слайд 9

Алгебра логики
Пример: 6- четное число
следует считать высказыванием, т.к. оно истинное

Пример: Рим – столица Франции
Тоже высказывание, только ложное.

Слайд 10

Алгебра логики
Не всякое предложение является логическим высказыванием.
Пример: «ученик 9 класса»

и «информатика – интересный предмет» - не являются высказыванием.
Почему?

Слайд 11

Алгебра логики
Пример: «в городе А более миллиона жителей» - является высказыванием?
Почему?

Слайд 12

Алгебра логики
Пример: «у него голубые глаза» - является высказыванием?
Почему?

Слайд 13

Алгебра логики
Такие предложения называются высказывательными формами. Высказывательная форма – повествовательное

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

Слайд 14

Алгебра логики
Логические связки – употребляемые в обычной речи слова и словосочетания

«не», «и», «или», «если…, то», «тогда и только тогда» и др.
Составные высказывания – высказывания, образованные из других высказываний с помощью логических связок.
Высказывания, не являющиеся составными, называются элементраными.

Слайд 15

Алгебра логики
Пример: «Петров - врач» , «Петров - шахматист». При помощи

связки «и» получаем составное высказывание «Петров – врач и шахматист», понимаемое как «Петров – врач, хорошо играющий в шахматы».

Алгебра логики

Содержание

Мышление Логика – наука о формах и способах мышления. Основные формы

МышлениеПонятие – форма мышления, фиксирующая основные, существенные признаки объекта. Понятие имеет

МышлениеВысказывание – форма мышления, в которой что – либо утверждается или

МышлениеУмозаключение – форма мышления, с помощью которой из одного или нескольких

Алгебра логикиАлгебра логики- раздел математики, изучающий высказывания, рассматриваемые со стороны их

Алгебра логикиАлгебра логики возникла в середине XIX в в трудах английского

Алгебра логикиЛогическое высказывание – это любое повествовательное предложение, в отношении которого

Алгебра логикиПример: 6- четное число следует считать высказыванием, т.к. оно истинное

Алгебра логикиНе всякое предложение является логическим высказыванием. Пример: «ученик 9 класса»

Алгебра логикиПример: «в городе А более миллиона жителей» - является высказыванием?Почему?

Алгебра логикиПример: «у него голубые глаза» - является высказыванием?Почему?

Алгебра логики Такие предложения называются высказывательными формами. Высказывательная форма – повествовательное

Алгебра логикиЛогические связки – употребляемые в обычной речи слова и словосочетания

Алгебра логикиПример: «Петров - врач» , «Петров - шахматист». При помощи

Похожие презентации