Matematické Fórum

Dobrý den,
Chtěl bych se zeptat, jestli existují nějaká pravidla, jak postupovat při dokazování sekventu přirozenou dedukcí. Když se dívám na příklady, tak absolutně nevím (krom toho, že tam dám nějaké assm) jak s tím pohnout. Někde jsem slyšel, že se dá tabulková metoda přepsat na formální zápis dedukční metody. Nevíte o tom něco?

Příklad(nevím jestli je to dobře), kde se vždy zaseknu a nevím jak jej dokončit:


Jak bych měl dále pokračovat?

Díky moc