Аналитическое и формальное доказательство теоремы в ИВ

Аналитическое прямое и формальное доказательство истинности заключения (теоремы).Аналитическое и формальное доказательство истинности заключения (теоремы) от противного.Представим формальное доказательство теоремы по Вонгу.Представим формальное доказательство теоремы методом резолюции.Мы получили противоречие, следовательно, теорема доказана.(V7) 12. Выписать формулы посылок слева от стрелки, теорему справа.(V11) 20. Выдать решение. Теорема доказана.(V13) 23. Вывести решение. Теорема не доказуема и предположение не верно.(V6) 10. Полученную преобразованную формулу теоремы инвертируем.Q - формула теоремы.