Презентация Сложные суждения. (Тема 4) онлайн

На нашем сайте вы можете скачать и просмотреть онлайн доклад-презентацию на тему Сложные суждения. (Тема 4) абсолютно бесплатно. Урок-презентация на эту тему содержит всего 24 слайда. Все материалы созданы в программе PowerPoint и имеют формат ppt или же pptx. Материалы и темы для презентаций взяты из открытых источников и загружены их авторами, за качество и достоверность информации в них администрация сайта не отвечает, все права принадлежат их создателям. Если вы нашли то, что искали, отблагодарите авторов - поделитесь ссылкой в социальных сетях, а наш сайт добавьте в закладки.

Презентации » Математика » Сложные суждения. (Тема 4)

Просмотр ВСЕЙ презентации! ЖМИТЕ

Оцените презентацию от 1 до 5 баллов!

Смотреть онлайн
Скачать

Тип файла:

ppt / pptx (powerpoint)
Всего слайдов:

24 слайда
Для класса:

1,2,3,4,5,6,7,8,9,10,11
Размер файла:

1.10 MB
Просмотров:

64
Скачиваний:

0
Автор:

неизвестен

Слайды и текст к этой презентации:

№1 слайд

Содержание слайда: ТЕМА №4: СЛОЖНЫЕ СУЖДЕНИЯ.

№2 слайд

Содержание слайда: 1. СТРУКТУРА СЛОЖНОГО СУЖДЕНИЯ. ПОНЯТИЕ О ЛОГИЧЕСКОМ СОЮЗЕ. Сложным называется суждение, которое состоит как минимум из двух простых, связанных между собой логическим союзом. Пример: Логика – это наука о формах и законах правильного мышления. 1) Логика – это наука о формах (S-P) 2) и логика – это наука о законах (S-P).

№3 слайд

Содержание слайда: 1. СТРУКТУРА СЛОЖНОГО СУЖДЕНИЯ. ПОНЯТИЕ О ЛОГИЧЕСКОМ СОЮЗЕ. Логический союз – способ связи простых суждений, позволяющий получать новые осмысленные выражения. Логический союз является важнейшим элементом в структуре сложного суждения: По виду логического союза определяется вид сложного суждения. От логического союза зависит логическое значение сложного суждения.

№4 слайд

Содержание слайда: 1. СТРУКТУРА СЛОЖНОГО СУЖДЕНИЯ. ПОНЯТИЕ О ЛОГИЧЕСКОМ СОЮЗЕ. Виды логических союзов: Конъюнкция (и); Дизъюнкция: слабая (или), сильная (либо, либо); Импликация (если….., то); Эквиваленция (тогда и только тогда, когда); Отрицание (неверно, что).

№5 слайд

Содержание слайда: 2.ЛОГИЧЕСКОЕ ЗНАЧЕНИЕ СЛОЖНОГО СУЖДЕНИЯ. ТАБЛИЦЫ ИСТИННОСТИ. Логическое значение сложного суждения зависит от: логических значения простых суждений, входящих в состав сложного; логического союза, образующего сложное суждение.

№6 слайд

Содержание слайда: 2.ЛОГИЧЕСКОЕ ЗНАЧЕНИЕ СЛОЖНОГО СУЖДЕНИЯ. ТАБЛИЦЫ ИСТИННОСТИ. Конъюнкция – сложное суждение, образованное как минимум из двух простых, соединенных логическим союзом «и», и которое истинно, когда истинны оба простых суждения его составляющих. Обозначение конъюнкции: ^ В естественном языке: «а», «да», «но», «так же», «и».

№7 слайд

Содержание слайда: 2.ЛОГИЧЕСКОЕ ЗНАЧЕНИЕ СЛОЖНОГО СУЖДЕНИЯ. ТАБЛИЦЫ ИСТИННОСТИ. Таблица истинности для конъюнкции: Пример: Кот Васька белый (P) и пушистый (Q).

№8 слайд

Содержание слайда: 2.ЛОГИЧЕСКОЕ ЗНАЧЕНИЕ СЛОЖНОГО СУЖДЕНИЯ. ТАБЛИЦЫ ИСТИННОСТИ. 2. Дизъюнкция (слабая) – сложное суждение, образованное как минимум из двух простых, соединенных логическим союзом «или», и которое истинно тогда и только тогда, когда истинно хотя бы одно из простых суждений его составляющих. Обозначение дизъюнкции (слабой): v В естественном языке: «или».

№9 слайд

Содержание слайда: 2.ЛОГИЧЕСКОЕ ЗНАЧЕНИЕ СЛОЖНОГО СУЖДЕНИЯ. ТАБЛИЦЫ ИСТИННОСТИ. Таблица истинности для слабой дизъюнкции: Пример: Каждый из нас знает стихотворение (P) или хотя бы имя А.С. Пушкина (Q).

№10 слайд

Содержание слайда: 2.ЛОГИЧЕСКОЕ ЗНАЧЕНИЕ СЛОЖНОГО СУЖДЕНИЯ. ТАБЛИЦЫ ИСТИННОСТИ. 3. Дизъюнкция (сильная) – сложное суждение, образованное как минимум из двух простых, соединенных логическим союзом «либо, либо», и которое истинно тогда и только тогда, когда истинно только одно из простых суждений его составляющих. Обозначение дизъюнкции (сильной): v В естественном языке: «или…,или», «либо …, либо».

№11 слайд

Содержание слайда: 2.ЛОГИЧЕСКОЕ ЗНАЧЕНИЕ СЛОЖНОГО СУЖДЕНИЯ. ТАБЛИЦЫ ИСТИННОСТИ. Таблица истинности для сильной дизъюнкции: Пример: Пациент либо жив (P), либо мертв (Q).

№12 слайд

Содержание слайда: 2.ЛОГИЧЕСКОЕ ЗНАЧЕНИЕ СЛОЖНОГО СУЖДЕНИЯ. ТАБЛИЦЫ ИСТИННОСТИ. 4. Импликация – сложное суждение, образованное как минимум из двух простых, соединенных логическим союзом «если….., то», и которое ложно, когда логическое значение антецедента истинно, а консеквента – ложно. Антецедент – суждение, выражающее условие; консеквент – суждение, выражающее следствие. Обозначение импликации: . В естественном языке: «если…,то».

№13 слайд

Содержание слайда: 2.ЛОГИЧЕСКОЕ ЗНАЧЕНИЕ СЛОЖНОГО СУЖДЕНИЯ. ТАБЛИЦЫ ИСТИННОСТИ. Таблица истинности для импликации: Пример: Если идет дождь (P), то улицы мокрые (Q).

№14 слайд

Содержание слайда: 2.ЛОГИЧЕСКОЕ ЗНАЧЕНИЕ СЛОЖНОГО СУЖДЕНИЯ. ТАБЛИЦЫ ИСТИННОСТИ. 5.Эквиваленция – сложное суждение, образованное как минимум из двух простых, соединенных логическим союзом «тогда и только тогда, когда», и которое истинно, когда логические значения простых суждений совпадают. Обозначение эквиваленции: ↔ В естественном языке: «если и только если», «тогда и только тогда, когда».

№15 слайд

Содержание слайда: 2.ЛОГИЧЕСКОЕ ЗНАЧЕНИЕ СЛОЖНОГО СУЖДЕНИЯ. ТАБЛИЦЫ ИСТИННОСТИ. Таблица истинности для эквиваленции: Пример: Движение парусника было возможно (P) лишь тогда, когда дул сильный ветер (Q).

№16 слайд

Содержание слайда: 2. ЛОГИЧЕСКОЕ ЗНАЧЕНИЕ СЛОЖНОГО СУЖДЕНИЯ. ТАБЛИЦЫ ИСТИННОСТИ. 6. Отрицание – сложное суждение, образованное из исходного суждения при помощи союза «неверно, что» и которое имеет логическое значение противоположное логическому значению исходного суждения. Обозначение отрицания: ¬ В естественном языке: «неверно, что», «не».

№17 слайд

Содержание слайда: 2.ЛОГИЧЕСКОЕ ЗНАЧЕНИЕ СЛОЖНОГО СУЖДЕНИЯ. ТАБЛИЦЫ ИСТИННОСТИ. Таблица истинности для отрицания: Пример: Неверно, что логика изучает законы правильного мышления (P).

№18 слайд

Содержание слайда: 3. КЛАССИЧЕСКАЯ ЛОГИКА ВЫСКАЗЫВАНИЙ Алфавит языка логики высказываний: Пропозициональные переменные: параметры, которыми замещаются простые высказывания. Обозначаются символами: p, q, r, s, p1, q1, r1, s1, p2 … ; Истинностно-функциональные пропозициональные связки: ^ , v , v ,→, ¬ ,↔; Логические символы: «Τ» – константа истинности; «» – константа ложности; «» – знак логического следования; Технические символы: (,);

№19 слайд

Содержание слайда: 3. КЛАССИЧЕСКАЯ ЛОГИКА ВЫСКАЗЫВАНИЙ Формулы языка логики высказываний – правильно построенные выражения языка логики высказываний. Определение: Всякая пропозициональная переменная является формулой; Если А - формула, то ¬ А также является формулой; Если А и В - формулы, то выражения (А ^ В), (А v В), (А v В), (А → В), (А ↔ В) также являются формулами; Ничто иное не является формулой.

№20 слайд

Содержание слайда: 3. КЛАССИЧЕСКАЯ ЛОГИКА ВЫСКАЗЫВАНИЙ Виды формул классической логики высказываний : Законы (тождественно-истинные формулы) – формулы, которые при любых интерпретациях пропозициональных переменных принимают значение «истинно»; Противоречия (тождественно-ложные формулы) – формулы, которые при любых интерпретациях пропозициональных переменных принимают значение «ложно»; Выполнимые формулы – такие, которые принимают значение «истинно» хотя бы при одном наборе значений истинности входящих в их состав пропозициональных переменных.

№21 слайд

Содержание слайда: 3. КЛАССИЧЕСКАЯ ЛОГИКА ВЫСКАЗЫВАНИЙ Закон тождества: А ↔ А Закон противоречия: ¬ (A ^ ¬ А) Закон исключенного третьего: A v ¬ A;

№22 слайд