Читайте также:
|
Тема 1. Висловлювання, властивості. Операції над висловлюваннями.
Тема 2. Предикати та операції над ними. Квантори.
Тема 3. Теореми, їх структура та види. Методи доведення теорем.
Уміти розв'язувати задачі:
1. Скласти таблицю істинності висловлювання:
2. На множині 
задані предикати: 
, 
. Визначити множину істинності предиката 
, записати та зобразити за допомогою кругів Ейлера-Венна.
3. Сформулювати обернену, протилежну та обернену протилежній теореми: «В ромбі діагоналі взаємно перпендикулярні».
Дата добавления: 2015-07-25; просмотров: 44 | Нарушение авторских прав
| <== предыдущая страница | | | следующая страница ==> |
| Более подробная информация по тел. 57-04-75 и на сайте ALFA.ONEGO.RU. | | | Рівняння. Нерівності |