Конспект лекцій вибіркової навчальної дисципліни циклу гуманітарної підготовки логіка для студентів




Сторінка45/55
Дата конвертації11.03.2019
Розмір5,22 Mb.
1   ...   41   42   43   44   45   46   47   48   ...   55
заперечувально-стверджувальний (modus tollendo ponens):

Структура: S є або A, або B

S не є A

S є B

Схеми: ab,~a ab,~b ab,~a ab,~b

‑‑‑



b а b а

Формули: ((a
1   ...   41   42   43   44   45   46   47   48   ...   55


База даних захищена авторським правом ©uchika.in.ua 2016
звернутися до адміністрації

    Головна сторінка