レス書き込み
スレへ戻る
写
レス栞
レス消
Inter-universal geometry と ABC予想 (応援スレ) 77
PC,スマホ,PHSは
ULA
べっかんこ
公式(スマホ)
公式(PC)
で書き込んでください。
名前
メール
引用切替:
レスアンカーのみ
>>516 > >>496 > >>矛盾した理論はいかなる命題も証明できてしまうからまったくのナンセンス > >そうだね > 分かって言ってる? 背理法も分からないんじゃ疑わしい > > 【定理】 > P,Qを任意の論理式とする。P∧¬P |= Q。 > 【証明】 > (1) P∧¬P (前提) > (2) P ((1)と連言除去) > (3) P∨Q ((2)と選言導入) > (4) ¬P ((1)と連言除去) > (5) Q ((3)と(4)と選言三段論法)
ローカルルール
SETTING.TXT
他の携帯ブラウザのレス書き込みフォームはこちら。
書き込み設定
で書き込みサイトの設定ができます。
・
ULA
・
べっかんこ(身代わりの術)
・
べっかんこ(通常)
・
公式(スマホ)
・
公式(PC)[PC,スマホ,PHS可]
書き込み設定(板別)
で板別の名前とメールを設定できます。
メモ帳
(0/65535文字)
上
下
板
覧
索
設
栞
歴
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.020s