>>496
なら
　　T ¬A⊃B
　　　　／＼
　F ¬A　　 T B

で F ¬A　を　T A　にする規則でもあるんじゃない？

G体系って聞いたこと無いな
GentzenのNKとかLKか
しかし、あからさまにトートロジーじゃないものを示せって何をしろって言ってるのか