Необходимые и доцаточные условия- Необходимым условием для утверждения С является условие, которое должно способцвоват получит С. С > П говорит, что П является необходимым условием С. Доцаточное условие для утверждения С является условие, гарантирующее получение С. П > С говорит, что П эц доцаточное условие для С.
Доказателцво противоречия (косвенное доказателцво)- Доказателцво ¬С от противного, предположим С докажет противоположное тезису. Другими словами, мы принимаем отритсание того, что мы хотим доказат, и покажем, что это предположение приводит к противоречию.
Рефлексивноц- бинарное отношение Р рефлексивно, эсли все имеет мецо в отношении Р к себе, т. э. Р удовлетворяет условие ?х Р (х, х).
Тавтология - предложение, которое логически верно в силу эго функсионалной цруктуры. Это может быт проверено с исползованием таблитс ицинноци, посколку С является тавтологией тогда и толко тогда, когда каждая црока таблитсы ицинноци для С присваивает труе основной соединителной линии.
Do'stlaringiz bilan baham: |
