Студопедия.Орг Главная | Случайная страница | Контакты | Мы поможем в написании вашей работы!  
 

Задание №1. 1. Установить, является ли данное выражение формулой, а если да, то определить, какие переменные в ней свободные



1. Установить, является ли данное выражение формулой, а если да, то определить, какие переменные в ней свободные, а какие связанные.

2. Даны предикаты: А(x) и B (x). Записать словами предложенные формулы С и D. 3. Данное суждение записать в виде формулы логики предикатов. Построить отрицание данного суждения в виде формулы, не содержащей внешних знаков отрицания. Перевести на естественный язык.

4. Найти приведенную и нормальную формулы для данной формулы

Задание №2. Записать утверждения с помощью следующих обозначений: , – человек, – преподаватель Иванов, – студент, – школьник, – отличник, – староста, – преподаватель, – работающий, – член профсоюза, – молодой, – старый, – справедливый, – девушка, боится .

1) Некоторые школьники и студенты – отличники.

2) Все старосты отличники и работают.

3) Все преподаватели и студенты являются членами профсоюза.

4) Не все молодые преподаватели справедливы.

5) Некоторые молодые и все старые преподаватели справедливы.

6) Все студенты и некоторые преподаватели молоды.

7) Среди работающих студентов есть отличники.

8) Некоторые студенты боятся преподавателя Иванова.

9) Никто из студенток не боится преподавателя Иванова.

10) Среди студенток-старост есть отличницы.

Домашнее задание:

2. Определить, что в суждении «Компьютер состоит из процессора, памяти и внешних устройств» является субъектом, предикатом, связкой.

Ответ: «компьютер» - субъект, «процессора, памяти и внешних устройств» - предикат, «состоит» - связка.

3. Приведите письменно в тетради примеры высказываний, рассуждений, утверждений и доказательств из различных областей науки.

4. Изобразить с помощью диаграммы Эйлера-Венна соотношения между множествами:

А) целые и натуральные числа;

Б) четные и нечетные числа;

В) четные и двузначные числа. - на доске и в тетради.

5. Определить, что является субъектом, предикатом и связкой в следующих суждениях:

А) Сканер – это устройство ввода информации.

Б) Луна является спутником Земли.

В) Атом состоит из ядра и электронов.





Дата публикования: 2015-03-26; Прочитано: 1060 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!



studopedia.org - Студопедия.Орг - 2014-2024 год. Студопедия не является автором материалов, которые размещены. Но предоставляет возможность бесплатного использования (0.006 с)...