Сложные суждения. (Тема 4)

Сентябрь 14, 2022

Главная
Математика
Сложные суждения. (Тема 4)

Содержание

2. 1. СТРУКТУРА СЛОЖНОГО СУЖДЕНИЯ. ПОНЯТИЕ О ЛОГИЧЕСКОМ СОЮЗЕ. Сложным называется суждение, которое состоит как минимум из
3. 1. СТРУКТУРА СЛОЖНОГО СУЖДЕНИЯ. ПОНЯТИЕ О ЛОГИЧЕСКОМ СОЮЗЕ. Логический союз – способ связи простых суждений, позволяющий
4. 1. СТРУКТУРА СЛОЖНОГО СУЖДЕНИЯ. ПОНЯТИЕ О ЛОГИЧЕСКОМ СОЮЗЕ. Виды логических союзов: Конъюнкция (и); Дизъюнкция: слабая (или),
5. 2.ЛОГИЧЕСКОЕ ЗНАЧЕНИЕ СЛОЖНОГО СУЖДЕНИЯ. ТАБЛИЦЫ ИСТИННОСТИ. Логическое значение сложного суждения зависит от: логических значения простых суждений,
6. 2.ЛОГИЧЕСКОЕ ЗНАЧЕНИЕ СЛОЖНОГО СУЖДЕНИЯ. ТАБЛИЦЫ ИСТИННОСТИ. Конъюнкция – сложное суждение, образованное как минимум из двух простых,
7. 2.ЛОГИЧЕСКОЕ ЗНАЧЕНИЕ СЛОЖНОГО СУЖДЕНИЯ. ТАБЛИЦЫ ИСТИННОСТИ. Таблица истинности для конъюнкции: Пример: Кот Васька белый (P) и
8. 2.ЛОГИЧЕСКОЕ ЗНАЧЕНИЕ СЛОЖНОГО СУЖДЕНИЯ. ТАБЛИЦЫ ИСТИННОСТИ. 2. Дизъюнкция (слабая) – сложное суждение, образованное как минимум из
9. 2.ЛОГИЧЕСКОЕ ЗНАЧЕНИЕ СЛОЖНОГО СУЖДЕНИЯ. ТАБЛИЦЫ ИСТИННОСТИ. Таблица истинности для слабой дизъюнкции: Пример: Каждый из нас знает
10. 2.ЛОГИЧЕСКОЕ ЗНАЧЕНИЕ СЛОЖНОГО СУЖДЕНИЯ. ТАБЛИЦЫ ИСТИННОСТИ. 3. Дизъюнкция (сильная) – сложное суждение, образованное как минимум из
11. 2.ЛОГИЧЕСКОЕ ЗНАЧЕНИЕ СЛОЖНОГО СУЖДЕНИЯ. ТАБЛИЦЫ ИСТИННОСТИ. Таблица истинности для сильной дизъюнкции: Пример: Пациент либо жив (P),
12. 2.ЛОГИЧЕСКОЕ ЗНАЧЕНИЕ СЛОЖНОГО СУЖДЕНИЯ. ТАБЛИЦЫ ИСТИННОСТИ. 4. Импликация – сложное суждение, образованное как минимум из двух
13. 2.ЛОГИЧЕСКОЕ ЗНАЧЕНИЕ СЛОЖНОГО СУЖДЕНИЯ. ТАБЛИЦЫ ИСТИННОСТИ. Таблица истинности для импликации: Пример: Если идет дождь (P), то
14. 2.ЛОГИЧЕСКОЕ ЗНАЧЕНИЕ СЛОЖНОГО СУЖДЕНИЯ. ТАБЛИЦЫ ИСТИННОСТИ. 5.Эквиваленция – сложное суждение, образованное как минимум из двух простых,
15. 2.ЛОГИЧЕСКОЕ ЗНАЧЕНИЕ СЛОЖНОГО СУЖДЕНИЯ. ТАБЛИЦЫ ИСТИННОСТИ. Таблица истинности для эквиваленции: Пример: Движение парусника было возможно (P)
16. 2. ЛОГИЧЕСКОЕ ЗНАЧЕНИЕ СЛОЖНОГО СУЖДЕНИЯ. ТАБЛИЦЫ ИСТИННОСТИ. 6. Отрицание – сложное суждение, образованное из исходного суждения
17. 2.ЛОГИЧЕСКОЕ ЗНАЧЕНИЕ СЛОЖНОГО СУЖДЕНИЯ. ТАБЛИЦЫ ИСТИННОСТИ. Таблица истинности для отрицания: Пример: Неверно, что логика изучает законы
18. 3. КЛАССИЧЕСКАЯ ЛОГИКА ВЫСКАЗЫВАНИЙ Алфавит языка логики высказываний: Пропозициональные переменные: параметры, которыми замещаются простые высказывания. Обозначаются
19. 3. КЛАССИЧЕСКАЯ ЛОГИКА ВЫСКАЗЫВАНИЙ Формулы языка логики высказываний – правильно построенные выражения языка логики высказываний. Определение:
20. 3. КЛАССИЧЕСКАЯ ЛОГИКА ВЫСКАЗЫВАНИЙ Виды формул классической логики высказываний : Законы (тождественно-истинные формулы) – формулы, которые
21. 3. КЛАССИЧЕСКАЯ ЛОГИКА ВЫСКАЗЫВАНИЙ Закон тождества: А ↔ А Закон противоречия: ¬ (A ^ ¬ А)
22. 3. КЛАССИЧЕСКАЯ ЛОГИКА ВЫСКАЗЫВАНИЙ
23. 3. КЛАССИЧЕСКАЯ ЛОГИКА ВЫСКАЗЫВАНИЙ
25. Скачать презентацию

Слайд 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

3. КЛАССИЧЕСКАЯ ЛОГИКА ВЫСКАЗЫВАНИЙ

Слайд 23

Сложные суждения. (Тема 4)

Содержание

1. СТРУКТУРА СЛОЖНОГО СУЖДЕНИЯ. ПОНЯТИЕ О ЛОГИЧЕСКОМ СОЮЗЕ.Сложным называется суждение, которое

1. СТРУКТУРА СЛОЖНОГО СУЖДЕНИЯ. ПОНЯТИЕ О ЛОГИЧЕСКОМ СОЮЗЕ.Логический союз – способ

1. СТРУКТУРА СЛОЖНОГО СУЖДЕНИЯ. ПОНЯТИЕ О ЛОГИЧЕСКОМ СОЮЗЕ.Виды логических союзов:Конъюнкция (и);Дизъюнкция:

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

2.ЛОГИЧЕСКОЕ ЗНАЧЕНИЕ СЛОЖНОГО СУЖДЕНИЯ. ТАБЛИЦЫ ИСТИННОСТИ.Конъюнкция – сложное суждение, образованное как

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

2.ЛОГИЧЕСКОЕ ЗНАЧЕНИЕ СЛОЖНОГО СУЖДЕНИЯ. ТАБЛИЦЫ ИСТИННОСТИ.2. Дизъюнкция (слабая) – сложное суждение,

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

2.ЛОГИЧЕСКОЕ ЗНАЧЕНИЕ СЛОЖНОГО СУЖДЕНИЯ. ТАБЛИЦЫ ИСТИННОСТИ.3. Дизъюнкция (сильная) – сложное суждение,

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

2.ЛОГИЧЕСКОЕ ЗНАЧЕНИЕ СЛОЖНОГО СУЖДЕНИЯ. ТАБЛИЦЫ ИСТИННОСТИ.4. Импликация – сложное суждение, образованное

2.ЛОГИЧЕСКОЕ ЗНАЧЕНИЕ СЛОЖНОГО СУЖДЕНИЯ. ТАБЛИЦЫ ИСТИННОСТИ.Таблица истинности для импликации:Пример: Если

2.ЛОГИЧЕСКОЕ ЗНАЧЕНИЕ СЛОЖНОГО СУЖДЕНИЯ. ТАБЛИЦЫ ИСТИННОСТИ.5.Эквиваленция – сложное суждение, образованное как

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

2. ЛОГИЧЕСКОЕ ЗНАЧЕНИЕ СЛОЖНОГО СУЖДЕНИЯ. ТАБЛИЦЫ ИСТИННОСТИ.6. Отрицание – сложное суждение,

2.ЛОГИЧЕСКОЕ ЗНАЧЕНИЕ СЛОЖНОГО СУЖДЕНИЯ. ТАБЛИЦЫ ИСТИННОСТИ.Таблица истинности для отрицания:Пример: Неверно, что

3. КЛАССИЧЕСКАЯ ЛОГИКА ВЫСКАЗЫВАНИЙ Алфавит языка логики высказываний:Пропозициональные переменные: параметры, которыми замещаются

3. КЛАССИЧЕСКАЯ ЛОГИКА ВЫСКАЗЫВАНИЙФормулы языка логики высказываний – правильно построенные выражения

3. КЛАССИЧЕСКАЯ ЛОГИКА ВЫСКАЗЫВАНИЙВиды формул классической логики высказываний :Законы (тождественно-истинные формулы)

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

3. КЛАССИЧЕСКАЯ ЛОГИКА ВЫСКАЗЫВАНИЙ

3. КЛАССИЧЕСКАЯ ЛОГИКА ВЫСКАЗЫВАНИЙ

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

1. СТРУКТУРА СЛОЖНОГО СУЖДЕНИЯ. ПОНЯТИЕ О ЛОГИЧЕСКОМ СОЮЗЕ.
Сложным называется суждение, которое

1. СТРУКТУРА СЛОЖНОГО СУЖДЕНИЯ. ПОНЯТИЕ О ЛОГИЧЕСКОМ СОЮЗЕ.
Логический союз – способ

1. СТРУКТУРА СЛОЖНОГО СУЖДЕНИЯ. ПОНЯТИЕ О ЛОГИЧЕСКОМ СОЮЗЕ.
Виды логических союзов:
Конъюнкция (и);
Дизъюнкция:

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

2.ЛОГИЧЕСКОЕ ЗНАЧЕНИЕ СЛОЖНОГО СУЖДЕНИЯ. ТАБЛИЦЫ ИСТИННОСТИ.
Конъюнкция – сложное суждение, образованное как

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

2.ЛОГИЧЕСКОЕ ЗНАЧЕНИЕ СЛОЖНОГО СУЖДЕНИЯ. ТАБЛИЦЫ ИСТИННОСТИ.
2. Дизъюнкция (слабая) – сложное суждение,

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

2.ЛОГИЧЕСКОЕ ЗНАЧЕНИЕ СЛОЖНОГО СУЖДЕНИЯ. ТАБЛИЦЫ ИСТИННОСТИ.
3. Дизъюнкция (сильная) – сложное суждение,

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

2.ЛОГИЧЕСКОЕ ЗНАЧЕНИЕ СЛОЖНОГО СУЖДЕНИЯ. ТАБЛИЦЫ ИСТИННОСТИ.
4. Импликация – сложное суждение, образованное

2.ЛОГИЧЕСКОЕ ЗНАЧЕНИЕ СЛОЖНОГО СУЖДЕНИЯ. ТАБЛИЦЫ ИСТИННОСТИ.
Таблица истинности для импликации:
Пример:
Если

2.ЛОГИЧЕСКОЕ ЗНАЧЕНИЕ СЛОЖНОГО СУЖДЕНИЯ. ТАБЛИЦЫ ИСТИННОСТИ.
5.Эквиваленция – сложное суждение, образованное как

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

2. ЛОГИЧЕСКОЕ ЗНАЧЕНИЕ СЛОЖНОГО СУЖДЕНИЯ. ТАБЛИЦЫ ИСТИННОСТИ.
6. Отрицание – сложное суждение,

2.ЛОГИЧЕСКОЕ ЗНАЧЕНИЕ СЛОЖНОГО СУЖДЕНИЯ. ТАБЛИЦЫ ИСТИННОСТИ.
Таблица истинности для отрицания:
Пример:
Неверно, что

3. КЛАССИЧЕСКАЯ ЛОГИКА ВЫСКАЗЫВАНИЙ
Алфавит языка логики высказываний:
Пропозициональные переменные: параметры, которыми замещаются

3. КЛАССИЧЕСКАЯ ЛОГИКА ВЫСКАЗЫВАНИЙ
Формулы языка логики высказываний – правильно построенные выражения

3. КЛАССИЧЕСКАЯ ЛОГИКА ВЫСКАЗЫВАНИЙ
Виды формул классической логики высказываний :
Законы (тождественно-истинные формулы)

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