Мне трудно доказать это с помощью естественного вывода.Мне также нужно показать, какие правила я использую, например, если я представляю ^ в строке 5 (^ i 5).Проблема в следующем:
(S^¬T)v(¬T^S), (T→K), (K→¬F) |- F→S
Спасибо за вашу помощь!