>>216
そもそもA⇒Pという命題の真偽が不明と捉えられてる場合の話なので、論理形式の前の問題なわけよ