Добавил:
Upload
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз:
Предмет:
Файл:виводи.doc
Форми теорем „якщо –то”, твердження з кванторами.
Форми теорем „тоді і тільки тоді”
Докази еквівалентності (комутативний, дистрибутивний закон, контрапозиція, конверсія(протилежне твердження), доказ методом від оберненого)
Базові висловлювання
Позначення |
Опис |
Приклад |
Клас |
Asp |
Всякий S є P; SP |
Всі мавпи розумні |
S- мавпи P – розумні істоти |
Esp |
Всяка S не є P; SP |
Всі мавпи не літають |
S- мавпи P – літаючі істоти |
Isp |
Деяке S є P; SP |
Існують хвостаті мавпи |
S- мавпи P – хвостаті істоти |
Osp |
Деяке S не є P; SP |
Існують не хвостаті мавпи |
S- мавпи P – хвостаті істоти |
