18/09/25 18:48:17.68 SXQ8iiU3.net
>>324
訂正
✕：D=0 ⇒ ∀p (B) ⇒ ∀ (A)
◯：D=0 ⇒ ∀p (B) ⇒ ∀p (A)
ちなみに∀p (A)が矛盾している命題に異存はありませんよ？
そこに異存はないのでコメントしてないだけです。
問題視しているのは D=0 ⇒ ∀p (A) の導出の部分です。
この向きの導出論文には一つもありませんよ？
18/09/25 18:48:17.68 SXQ8iiU3.net
>>324
訂正
✕：D=0 ⇒ ∀p (B) ⇒ ∀ (A)
◯：D=0 ⇒ ∀p (B) ⇒ ∀p (A)
ちなみに∀p (A)が矛盾している命題に異存はありませんよ？
そこに異存はないのでコメントしてないだけです。
問題視しているのは D=0 ⇒ ∀p (A) の導出の部分です。
この向きの導出論文には一つもありませんよ？