- 143 名前：１３２人目の素数さん mailto:sage [2008/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 は真
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
★東大入試作問者になったつもりのスレ★ 第十三問
| |
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef