Cześć, mam do udowodnienia przechodniość implikacji w Hilbertowskim systemie dowodzenia. Byłbym wdzięczny jeżeli ktoś mógłby mnie pokierować od czego zacząć. Oto zadanie:
\(\displaystyle{ \Delta=\left\{p\rightarrow q, q \rightarrow r, p, \neg r\right\} \vdash p \rightarrow r}\)
Do zadania mam wskazówkę - rozszerzyć zbiór o sekwenty \(\displaystyle{ p, \neg r}\) (co już zrobiłem), a następnie korzystać z aksjomatów i twierdzenia o dedukcji.
Dziękuję za pomoc.