邏輯問題

你要用哪個邏輯推演系統(tǒng)證？我只會PN系統(tǒng)（不是P系統(tǒng)也不是N系統(tǒng)）。 我用“~”表示非。
｜○~(A∨~A)-------------1：假設(shè)
｜｜○A------------------2：假設(shè)
｜｜｜ A∨~A-------------3：析取引入
｜｜~A-------------------4：1、3否定引入
｜｜○~A-----------------5：假設(shè)
｜｜｜A∨~A--------------6：析取引入
｜｜A--------------------7：1、6否定引入
｜A∨~A------------------8：4、7否定引入
因?yàn)榻Y(jié)果出現(xiàn)在所有假設(shè)的轄域之外，所以最終的結(jié)果不依賴任何假設(shè)。

A∨?A =?A∨A =A——>A 為一個恒真命題
至于Φ├這個看不懂什么意思