Долбанная матлогика... Эти долбанные примеры I-VI выводимых формул... долбанные свойства выводов из гипотез...
...либо это я такая тупая, что не соображаю, как доказать 10е свойство этих выврдов из гипотез... либо эта матлогика реально долбанутая...
и как всегда окажется, что доказательство просто в 3 строчки =_=
бесит за подобные вещи наша многоуважаемая Щербак. Пока она рассказывала нам эту дурацкую главу по исчислениям высказываний, фраза "доказать самостоятельно" была самой актуальной...
фак май брэйн... что делать? ><
я ведь еще даже учить не начала О_О