Методом резолюций доказать теорему |- (A- больше B)- больше ((A- больше (B- больше C))- больше (A- больше C))
Методом резолюций доказать теорему |- (A->B)->((A->(B->C))->(A->C))
Гость
Ответ(ы) на вопрос:
Не нашли ответ?
Похожие вопросы