08/01/24 02:19:58
(P ⇒ Q) ≡ ￢(P ∧ (￢Q)) ： 背理法の原理
P ≡ 「三角形ABC」
Q ≡ 「(sin A)^3, (sin B)^3, (sin C)^3 の少なくとも1つは S より小さい」
￢Q ≡ 「(sin A)^3, (sin B)^3, (sin C)^3 は全て S 以上」
P ∧ (￢Q) は>>88より偽、従って P ⇒ Q は真
08/01/24 02:19:58
(P ⇒ Q) ≡ ￢(P ∧ (￢Q)) ： 背理法の原理
P ≡ 「三角形ABC」
Q ≡ 「(sin A)^3, (sin B)^3, (sin C)^3 の少なくとも1つは S より小さい」
￢Q ≡ 「(sin A)^3, (sin B)^3, (sin C)^3 は全て S 以上」
P ∧ (￢Q) は>>88より偽、従って P ⇒ Q は真