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

Введение в логику
Введение в логику
Введение в логику
Введение в логику
Формальная логика. Высказывания
Формальная логика. Сложные высказывания
Алгебра логики
Таблицы истинности
1/8
Средняя оценка: 4.4/5 (всего оценок: 94)
Код скопирован в буфер обмена
Скачать (98 Кб)
1

Первый слайд презентации: Введение в логику

Изображение слайда
2

Слайд 2

Логика – наука о формах и законах мышления Основал логику, как самостоятельную науку Великий древнегреческий философ Аристотель

Изображение слайда
3

Слайд 3: Введение в логику

Понятие – форма мышления, фиксирующая основные свойства объекта. Формы мышления Понятие Высказывание (суждение) Умозаключение Высказывание(суждение) – форма мышления, в которой что-либо утверждается или отрицается о свойствах реальных объектов и отношений между ними. Высказывание может быть истинным или ложным. Умозаключение – форма мышления, с помощью которой из одного или нескольких суждений (посылок) может быть получено новое суждение (заключение )

Изображение слайда
4

Слайд 4

Формальная логика – классическая логика Аристотеля, связана с анализом обычных содержательных рассуждений, выражаемых разговорным языком. Введение в логику. Математическая логика предполагает запись рассуждений с помощью символов. В ней появились математические методы исследования, конкретность законов. Основоположником считают Г. Лейбница. Булева алгебра - раздел математической логики, которая отвлекается от содержательности высказываний. Ее интересуют только один факт – истинно или ложно высказывание. Основоположником считают английского математика Д. Буля.

Изображение слайда
5

Слайд 5: Формальная логика. Высказывания

Солнце вращается вокруг Земли 2+2=5 Сегодня отличная погода Апшеронск находится в Краснодарском крае Музыка Вагнера слишком сложна Золото это щелочной металл Если один угол в треугольнике прямой, то треугольник будет тупоугольным. Если сумма квадратов двух сторон треугольника равна квадрату третьей, то он прямоугольный Высказывание(суждение) может быть истинным или ложным. Оно не может быть выражено вопросительным или побудительным предложением, не может отражать личностное восприятие объекта, так как невозможно оценить ложность или истинность такого высказывания. Какие из предложений являются логическими высказываниями и почему? Какие из высказываний являются истинными?

Изображение слайда
6

Слайд 6: Формальная логика. Сложные высказывания

Логические связки в естественном языке Название в логике …и… ;…а… ;…но… Конъюнкция (логическое умножение) … или … ; либо…, либо … … или…,или… Дизъюнкция соединительная (логическое сложение) либо только…, либо только… только… или только… Дизъюнкция разъединительная (строгая дизъюнкция) не… ; неверно, что… Инверсия (логическое отрицание) если…, то… из… следует… … достаточно для… Импликация (логическое следование) …тогда и только тогда, когда… …если и только если… …необходимо и достаточно… Эквивалентность ( тождество, логическое равенство) все, всякий, каждый Квантор(связка) общности некоторые; существуют Квантор существования

Изображение слайда
7

Слайд 7: Алгебра логики

Алгебра логики - это математический аппарат, с помощью которого записывают, упрощают, вычисляют и преобразуют логические высказывания. Простое высказывание (логическая переменная) - высказывание, которое нельзя разложить на части, обозначается буквами латинского алфавита: A, B, C и т.д. Сложное высказывание (логическая функция) содержит простые высказывания соединённые логическими операциями: И, ИЛИ, НЕ и др.

Изображение слайда
8

Последний слайд презентации: Введение в логику: Таблицы истинности

Таблица истинности - таблица, в которой перечислены все возможные значения логических переменных и соответствующие им значения функций. Количество строк в таблице зависит от количества переменных и вычисляется по формуле: N=2 I, где I- количество переменных, а количество столбцов – количеству операций, выполняемых в данной функции Обозначения: 0 - ложь; 1 - истина.

Изображение слайда