Меньшее количество шагов при вычете в стиле Фитча
Я только сейчас изучаю доказательства в стиле Фитча. Так что нужна помощь в этом. Ниже приведены две предпосылки:
Longer(p,q) v Longer(p,r)
shorter(q,p) v ¬Longer(p,r)
Как я могу добиться заключения Longer(p,q) за меньшее количество вычетов?
Я попытался найти Longer(p,q) сначала, затем Longer (p, r), а затем применили конъюнкцию, и я обнаружил, что шаги дедукции больше.