Обратное разрешение - Inverse resolution
Обратное разрешение представляет собой индуктивное рассуждение методы , который включает в себя инвертирование в операторе разрешения .
Рекомендации
 |
Эта статья о логике - незавершенная . Вы можете помочь Википедии, расширив ее . |