0683132人目の素数さん
2019/08/14(水) 21:31:54.00ID:9LQ+jaRM普通の人間が読めば「P⇒Qであるから~」は「P⇒Qは真であるから~」と言っているものと見なされるからね
実際には「真偽の分からない命題」「ただの式変形」を区別するために記号「→」「⇒」を使い分ける人もいる(ただしこの記号は一般的でないので、答案などで使う場合は断り書きを書くこと)
ちなみに「全ての~に対して」とか「ある~が存在して」とか書くのが面倒な場合「∀x∈ℝ︎,x²︎≧0であるから~」のように書くのも同様