Разделы презентаций
- Разное
- Английский язык
- Астрономия
- Алгебра
- Биология
- География
- Геометрия
- Детские презентации
- Информатика
- История
- Литература
- Математика
- Медицина
- Менеджмент
- Музыка
- МХК
- Немецкий язык
- ОБЖ
- Обществознание
- Окружающий мир
- Педагогика
- Русский язык
- Технология
- Физика
- Философия
- Химия
- Шаблоны, картинки для презентаций
- Экология
- Экономика
- Юриспруденция
Введение в логику
Содержание
- 1. Введение в логику
- 2. Логика – наука о формах и законах мышленияОсновал логику, как самостоятельную науку Великий древнегреческий философ Аристотель
- 3. Введение в логику Понятие – форма мышления,
- 4. Формальная логика – классическая логика Аристотеля,
- 5. Формальная логика. ВысказыванияСолнце вращается вокруг Земли2+2=5Сегодня отличная
- 6. Формальная логика. Сложные высказывания
- 7. Алгебра логикиАлгебра логики - это математический аппарат,
- 8. Таблицы истинностиТаблица истинности - таблица, в которой
- 9. Скачать презентанцию
Логика – наука о формах и законах мышленияОсновал логику, как самостоятельную науку Великий древнегреческий философ Аристотель
Слайды и текст этой презентации
Слайд 2Логика – наука о формах и законах мышления
Основал логику, как
самостоятельную науку Великий древнегреческий философ Аристотель
Слайд 3Введение в логику
Понятие – форма мышления, фиксирующая основные свойства
объекта.
Формы мышления
Понятие
Высказывание
(суждение)
Умозаключение
Высказывание(суждение) – форма мышления, в которой что-либо утверждается
или отрицается о свойствах реальных объектов и отношений между ними. Высказывание может быть истинным или ложным. Умозаключение – форма мышления, с помощью которой из одного или нескольких суждений (посылок) может быть получено новое суждение (заключение)
Слайд 4 Формальная логика – классическая логика Аристотеля, связана с анализом
обычных содержательных рассуждений, выражаемых разговорным языком.
Введение в логику.
Математическая
логика предполагает запись рассуждений с помощью символов. В ней появились математические методы исследования, конкретность законов. Основоположником считают Г. Лейбница. Булева алгебра - раздел математической логики, которая отвлекается от содержательности высказываний. Ее интересуют только один факт – истинно или ложно высказывание. Основоположником считают английского математика Д. Буля.
Слайд 5Формальная логика. Высказывания
Солнце вращается вокруг Земли
2+2=5
Сегодня отличная погода
Апшеронск находится в
Краснодарском крае
Музыка Вагнера слишком сложна
Золото это щелочной металл
Если один угол
в треугольнике прямой, то треугольник будет тупоугольным.Если сумма квадратов двух сторон треугольника равна квадрату третьей, то он прямоугольный
Высказывание(суждение) может быть истинным или ложным. Оно не может быть выражено вопросительным или побудительным предложением, не может отражать личностное восприятие объекта, так как невозможно оценить ложность или истинность такого высказывания.
Какие из предложений являются логическими высказываниями и
почему?
Какие из высказываний являются истинными?
Слайд 7Алгебра логики
Алгебра логики - это математический аппарат, с помощью которого
записывают, упрощают, вычисляют и преобразуют логические высказывания.
Простое высказывание (логическая переменная)
- высказывание, которое нельзя разложить на части, обозначается буквами латинского алфавита: A, B, C и т.д.Сложное высказывание (логическая функция) содержит простые высказывания соединённые логическими операциями: И, ИЛИ, НЕ и др.
Слайд 8Таблицы истинности
Таблица истинности - таблица, в которой перечислены все возможные
значения логических переменных и соответствующие им значения функций. Количество строк
в таблице зависит от количества переменных и вычисляется по формуле: N=2I , где I-количество переменных, а количество столбцов – количеству операций, выполняемых в данной функцииОбозначения: 0 - ложь; 1 - истина.
