Главная / Информатика / Методические рекомендации по дисциплине «Основы теории информации» тема «Суждение» В помощь студенту по самостоятельному изучению отдельных вопросов и подготовке к практическим и семинарским занятиям

Методические рекомендации по дисциплине «Основы теории информации» тема «Суждение» В помощь студенту по самостоятельному изучению отдельных вопросов и подготовке к практическим и семинарским занятиям

Название документа Калашникова_А_Н.doc

Сопроводительное письмо


ФИО: Калашникова Анастасия Николаевна

Должность: преподаватель информатики

Квалификационная категория: II квалификационная категория (12 разряд)

Место работы: ГБОУ СПО «Осинский профессионально-педагогический колледж»

Край, город: Пермский край, Осинский район, г. Оса

Контактный для пользователей e-mail: anask75@yandex.ru

Адрес сайта ОУ: http://oppkosa.gb7.ru/


Название документа Методические рекомендации_Калашникова_А_Н.doc


ГБОУ СПО «Осинский профессионально-педагогический колледж»

Методические рекомендации

по дисциплине Основы теории информации



тема Суждение








В помощь студенту по самостоятельному изучению отдельных вопросов и подготовке к практическим и семинарским занятиям



hello_html_7c5448c2.gif

Суждение


Литература:

  1. Гетманова А.Д. Логика: Для педагогических учебных заведений. – М.: Новая школа, 1995. – 414 с.

  2. Гетманова А.Д. Логика. Словарь и задачник - М., 1998.

  3. Брюшинкин В.Н. Логика: Учебник. – М., 2001.- 334 с.

  4. Колягин Ю.М. и Луканкин Г.Л. Основные понятия современного школьного курса математики. Пособие для учителей. – М., «Просвещение», 1974.

  5. Рочев С.С. Курс общей логики (в кратком изложении). – Пермь, 2000. – 59 с.

  6. Стойлова Л.П. Математика: Учебник для студентов высших пед.учебных заведений. – М., 1999. – 424 с.

  7. Вальциферов Ю.В. Элементы алгебры логики, г. Информатика, №27, 1998.

  8. Заславская О.Ю. Дидактические материалы по теме «Логика», г. Информатика, №29, 2004 г.

Знать:

  • Определение, виды суждений.

  • Структуру и логическую форму сложных суждений.

  • Законы де Моргана.

Уметь:

  • Определять вид и структуру суждений.

  • Записывать суждения на языке логики.

  • Определять истинность простых и сложных суждений.

  • Уметь составлять отрицательные суждения.


Вопросы, подлежащие обсуждению


  • Дать определение суждения. Примеры.

  • Виды простых суждений. Примеры.

  • Деление простых категорических суждений по количеству и качеству. Их структура, примеры, показ на кругах Эйлера.

  • Сложные суждения и его виды.

  • Логические связки. Кванторы.

  • Запись сложных суждений формулами.

  • Таблица истинности для сложных суждений.

  • Отношения между суждениями по истинности.

  • Отношение следования и равносильности.

  • Отрицание суждений. Законы де Моргана.

  • Выражение логических связок в естественном языке.


Практические задания к семинарскому занятию


1. Какие предложения являются суждениями:

  1. Урал находится от нас далеко.

  2. 2+5=8

  3. Какой студент не хочет получить на экзамене хорошую оценку?

  4. Если человек любит цветы, он всегда будет к ним бережно относиться.


2. Определите вид простых суждений, разбить их на группы (суждения свойства, суждения с отношениями, суждения существования):

  1. Водород легче воздуха.

  2. Существуют металлы легче воды.

  3. Существуют атомные реакторы.

  4. Атомный вес кислорода больше атомного веса лития.

  5. Река Обь расположена между реками Лена и Енисей.


3. Определите вид суждения, укажите его структуру. Определите связку и кванторное слово:

  1. Все жидкости упруги.

  2. Некоторые насекомые являются пчелами.

  3. Ни один страус не летает.

  4. Некоторые полезные ископаемые горючи.


4. Определите вид суждения, его субъект (S) и предикат (Р). Выразите отношения между S и Р с помощью кругов Эйлера:

  1. Некоторые спортсмены не являются олимпийскими чемпионами.

  2. Все подлежащие являются главными членами предложения.

  3. Некоторые учащиеся не изучают логику.

  4. Многие люди застенчивы.

  5. Некоторые летчики не являются летчиками-космонавтами.

  6. Ни один дельфин не является рыбой.

  7. Все ромбы являются параллелограммами.

  8. Некоторые числа – четные.

  9. Все прямоугольные ромбы являются квадратами.


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

  1. Дождь неожиданно начался и быстро закончился;

  2. Обычно в 6 часов вечера я иду гулять с собакой или смотрю телевизор;

  3. Сегодня холодный и пасмурный день;

  4. Рыбы живут в воде или лебедь – хищная птица.




6. Составьте таблицы истинности логических выражений:

  1. hello_html_3d4851be.gif;

  2. hello_html_7814ef5.gif.


7. Запишите отрицание высказываний:

  1. Все дни в августе были солнечными.

  2. Не все птицы летают.


8. Докажите равенство, составив таблицы истинности:

hello_html_m40f7d52c.gif


9. Переведите на язык алгебры высказываний и запишите знаками следующее предложение: «Я поеду в Москву и если встречу там друзей, то мы интересно проведем время».


Тренировочный тест


1. Выберите пример, НЕ являющийся высказыванием:

  1. Не можете ли вы передать соль?

  2. Н.В. Гоголь писал «Мертвые души» в Риме.

  3. Рукописи не горят.

  4. Некоторые лекарства страшней самих болезней.


2. «Все конфеты сладкие» - это суждение:

  1. частное и истинное;

  2. общее и истинное;

  3. частное и ложное;

  4. общее и ложное.


3. «Буква «А» - первая буква в слове «физика» или в слове «алгебра»» - это суждение:

  1. простое и истинное;

  2. сложное и истинное;

  3. простое и ложное;

  4. сложное и ложное.


4. Отрицанием высказывания «Для каждого из нас второй иностранный язык легче, чем первый» является:

  1. «Не для каждого из нас учить второй иностранный язык легче, чем первый».

  2. «Для каждого из нас учить второй иностранный язык легче, чем первый».

  3. «Неверно что, для каждого из нас учить второй иностранный язык легче, чем первый».

  4. «Неверно, что для каждого из нас учить второй иностранный язык не легче, чем первый».


5. Знаком «hello_html_m6ea3206b.gif» в логике обозначается операция:

  1. инверсия;

  2. конъюнкция;

  3. дизъюнкция;

  4. импликация;


6. Логическая операция с использованием ключевых слов (союзов) «… тогда и только тогда, когда …» называется:

  1. конъюнкция;

  2. дизъюнкция;

  3. импликация;

  4. эквивалентность.


7. Составное высказывание, образованное в результате дизъюнкции, истинно:

  1. когда истинно хотя бы одно из входящих в него простых высказываний;

  2. когда истинны входящие в него простые высказывания;

  3. когда ложны оба высказывания;

  4. если делает истинное высказывание ложным и наоборот.


8. Какой логической операции соответствует следующая таблица истинности:


А

В

Результат

Л

Л

И

Л

И

И

И

Л

Л

И

И

И


  1. дизъюнкции;

  2. конъюнкции;

  3. эквивалентности;

  4. импликации.


Классификация простых суждений по содержанию



Простые суждения



hello_html_6b64ae8d.gifhello_html_m2dbadd44.gifhello_html_57ae547.gif



Суждения свойства

S есть Р

S не есть Р


Суждения существования


Суждения с отношениями

а R в

R1 , а2, …)









Примеры


  1. Суждения свойства:

  • Мед сладкий (И).

  • 2- делитель 4 (И).

  • Число 7 – четное (Л).


  1. Суждения с отношениями:

  • Деревья выше кустарников (И).

  • 2< 5<8 (И).

  • 1 м меньше 1 см (Л).


  1. Суждения существования:

  • Существуют четные числа (И).

  • Не существует остроугольных квадратов (И).

  • Не существует ядовитых грибов (Л).











Классификация суждений по форме

Суждения



hello_html_215e4b21.gifhello_html_m8cbe71b.gif



Простые суждения

Сложные суждения



hello_html_4d252583.gifhello_html_m534ed961.gifhello_html_4d252583.gifhello_html_c2445dd.gifhello_html_m767b4bbf.gifhello_html_mb75b32a.gif



Утвердительные суждения

Отрицательные суждения

hello_html_m5d6e3318.gifhello_html_13682c8.gifhello_html_444444f2.gifhello_html_m3acc5958.gifhello_html_7dd321e4.gif



hello_html_57fd0fcc.gifhello_html_m31963839.gifhello_html_m31963839.gifhello_html_37862b01.gif


hello_html_m3e5b4008.gifhello_html_mbe855ec.gifhello_html_m134d9154.gifhello_html_m5dd4b6eb.gif






hello_html_m31226b84.gifhello_html_5d210a37.gif


Строгая дизъюнкция

а hello_html_m252c0ef2.gif в

Нестрогая дизъюнкция

а v в




















Категорические суждения


Вид суждения

Обозна-

чение

Формула суждения

Отношение S и Р

В традиционной (математ.) логике

Пример

Общеутвердительные

А

Все S суть Р

(S а Р)


hello_html_7ff29921.gif х (S(х)hello_html_m6b7fc4d1.gif Р(х))

  1. Все квадраты – равносторонние прямоугольники.


  1. Все караси – рыбы.


hello_html_1ed4af39.gifhello_html_5923e231.gif

hello_html_1aade203.gif


Частноутвердительные

I

Некоторые S

суть Р

(S i P)


hello_html_m606d34db.gif х (S(х) ^ Р(х))hello_html_m53d4ecad.gif

  1. Некоторые треугольники являются равнобедренными.


  1. Некоторые студенты – спортсмены.


hello_html_41265550.gifhello_html_580c5ab7.gifhello_html_m3d39dc8a.gif

hello_html_m7c015842.gifhello_html_m70a79fdb.gifhello_html_m63087a6e.gifhello_html_m64ecb534.gifhello_html_m3fb2c412.gif

hello_html_152d1f6b.gifhello_html_201b80a.gifhello_html_5cf9ec43.gif



Общеотрицательные

Е

Ни одно S

не суть Р

( S е Р)


hello_html_7ff29921.gif х (S(х)hello_html_m51ed6e46.gif


  1. Ни один лев не является травоядным.


  1. Ни одно нечетное число не делится на 2.


hello_html_m5a4c1ea6.gifhello_html_150d62d.gif




Частноотрицательные

О

Некоторые S

не суть Р

(S о Р)


hello_html_m606d34db.gif х (S(х) ^ hello_html_m69ad6990.gif)hello_html_m53d4ecad.gif

  1. Некоторые студенты не являются спортсменами.


  1. Некоторые прямоугольники не явяляются квадратами.

hello_html_m63c7d79d.gif

hello_html_m5a981f2a.gifhello_html_255f3f50.gif

hello_html_16426265.gif






Методические рекомендации по дисциплине «Основы теории информации» тема «Суждение» В помощь студенту по самостоятельному изучению отдельных вопросов и подготовке к практическим и семинарским занятиям
  • Информатика
Описание:

Суждение

Литература:

  1. Гетманова А.Д. Логика: Для педагогических учебных заведений. – М.: Новая школа, 1995. – 414 с.
  2. Гетманова  А.Д. Логика. Словарь и задачник - М., 1998.
  3. Брюшинкин В.Н. Логика: Учебник. – М., 2001.- 334 с.
  4. Колягин Ю.М. и Луканкин Г.Л. Основные понятия современного школьного курса математики. Пособие для учителей. – М., «Просвещение», 1974.
  5. Рочев С.С. Курс общей логики (в кратком изложении). – Пермь, 2000. – 59 с.
  6. Стойлова Л.П. Математика: Учебник для студентов высших пед.учебных заведений. – М., 1999. – 424 с.
  7. Вальциферов Ю.В. Элементы алгебры логики, г. Информатика, №27, 1998.
  8. Заславская О.Ю. Дидактические материалы по теме «Логика», г. Информатика, №29, 2004 г.

Знать:

  • Определение, виды суждений.
  • Структуру и логическую форму сложных суждений.
  • Законы де Моргана.

Уметь:

  • Определять вид и структуру суждений.
  • Записывать суждения на языке логики.
  • Определять истинность простых и сложных суждений.
  • Уметь составлять отрицательные суждения.

Вопросы, подлежащие обсуждению

  • Дать определение суждения. Примеры.
  • Виды простых суждений. Примеры.
  • Деление простых категорических суждений по количеству и качеству. Их структура, примеры, показ на кругах Эйлера.
  • Сложные суждения и его виды.
  • Логические связки. Кванторы.
  • Запись сложных суждений формулами.
  • Таблица истинности для сложных суждений.
  • Отношения между суждениями по истинности.
  • Отношение следования и равносильности.
  • Отрицание  суждений. Законы де Моргана.
  • Выражение логических связок в естественном языке.

Практические задания к семинарскому занятию

1. Какие предложения являются суждениями:

  • Урал находится от нас далеко.
  • 2+5=8
  • Какой студент не хочет получить на экзамене хорошую оценку?
  • Если человек любит цветы, он всегда будет к ним бережно относиться.

2. Определите вид простых суждений, разбить их на группы (суждения свойства, суждения с отношениями, суждения существования):

  • Водород легче воздуха.
  • Существуют металлы легче воды.
  • Существуют атомные реакторы.
  • Атомный вес кислорода больше атомного веса лития.
  • Река Обь расположена между реками Лена и Енисей.

3. Определите вид суждения, укажите его структуру. Определите связку и кванторное слово:

  • Все жидкости упруги.
  • Некоторые насекомые являются пчелами.
  • Ни один страус не летает.
  • Некоторые полезные ископаемые горючи.

4. Определите вид суждения, его субъект  (S) и предикат (Р). Выразите отношения между S и Р с помощью кругов Эйлера:

  • Некоторые спортсмены не являются олимпийскими чемпионами.
  • Все подлежащие являются главными членами предложения.
  • Некоторые учащиеся не изучают логику.
  • Многие люди застенчивы.
  • Некоторые летчики не являются летчиками-космонавтами.
  • Ни один дельфин не является рыбой.
  • Все ромбы являются параллелограммами.
  • Некоторые числа – четные.
  • Все прямоугольные ромбы являются квадратами.

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

  • Дождь неожиданно начался и быстро закончился;
  • Обычно в 6 часов вечера я иду гулять с собакой или смотрю телевизор;
  • Сегодня холодный и пасмурный  день;
  • Рыбы живут в воде или лебедь – хищная птица.

6. Составьте таблицы истинности логических выражений:

kal1.jpg

7. Запишите отрицание высказываний:

  • Все дни в августе были солнечными.
  • Не все птицы летают.

8. Докажите равенство, составив таблицы истинности:

kal2.jpg

9. Переведите на язык алгебры высказываний и запишите знаками следующее предложение: «Я поеду в Москву и если встречу там друзей, то мы интересно проведем время».


Тренировочный тест

1. Выберите пример, НЕ являющийся высказыванием:

  • Не можете ли вы передать соль?
  • Н.В. Гоголь писал «Мертвые души» в Риме.
  • Рукописи не горят.
  • Некоторые лекарства страшней самих болезней.

2. «Все конфеты сладкие» - это суждение:

  • частное и истинное;
  • общее и истинное;
  • частное и ложное;
  • общее и ложное.

3. «Буква «А» - первая буква в слове «физика» или в слове «алгебра»» - это суждение:

  • простое и истинное;
  • сложное и истинное;
  • простое и ложное;
  • сложное и ложное.

4. Отрицанием высказывания «Для каждого из нас второй иностранный язык легче, чем первый» является:

  • «Не для каждого из нас учить второй иностранный язык легче, чем первый».
  • «Для каждого из нас учить второй иностранный язык легче, чем первый».
  • «Неверно что, для каждого из нас учить второй иностранный язык легче, чем первый».
  • «Неверно, что для каждого из нас учить второй иностранный язык не легче, чем первый».

5. Знаком «∧» в логике обозначается операция:

  • инверсия;
  • конъюнкция;
  • дизъюнкция;
  • импликация;

6. Логическая операция с использованием ключевых слов (союзов) «… тогда и только тогда, когда …» называется:

  • конъюнкция;
  • дизъюнкция;
  • импликация;
  • эквивалентность.

7. Составное высказывание, образованное в результате дизъюнкции, истинно:

  • когда истинно хотя бы одно из входящих в него простых высказываний;
  • когда истинны входящие в него простые высказывания;
  • когда ложны оба высказывания;
  • если делает истинное высказывание ложным и наоборот.

8. Какой логической операции соответствует следующая таблица истинности:

А

В

Результат

Л

Л

И

Л

И

И

И

Л

Л

И

И

И

  • дизъюнкции;
  • конъюнкции;
  • эквивалентности;
  • импликации.

Классификация простых суждений по содержанию

kal3.jpg

Примеры

  1. Суждения свойства:
  • Мед сладкий  (И). 
  • 2 - делитель 4 (И).
  • Число 7 – четное (Л). 
  1. Суждения с отношениями:
  • Деревья выше кустарников (И).
  • 2< 5<8 (И).
  • 1 м меньше 1 см (Л).
  1. Суждения существования:
  • Существуют четные числа (И).
  • Не существует остроугольных квадратов (И).
  • Не существует ядовитых грибов (Л).

Классификация суждений по форме

kal4.jpg

Категорические суждения

ka5.jpg


Автор Калашникова Анастасия Николаевна
Дата добавления 07.06.2012
Раздел Информатика
Подраздел
Просмотров 2256
Номер материала 1427
Скачать свидетельство о публикации

Оставьте свой комментарий:

Введите символы, которые изображены на картинке:

Получить новый код
* Обязательные для заполнения.


Комментарии:

↓ Показать еще коментарии ↓