Логический вывод Fitch
Я не могу найти решение этого вывода. Для помещений: AvB и ¬AvC. Как я могу вывести BvC с помощью системы Fitch? Я пробовал следующее, но изо всех сил пытался найти решение:
Я не могу найти решение этого вывода. Для помещений: AvB и ¬AvC. Как я могу вывести BvC с помощью системы Fitch? Я пробовал следующее, но изо всех сил пытался найти решение: