分からない問題はここに書いてね436

[過去ﾛｸﾞ] 分からない問題はここに書いてね436 (1002ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

94: 2017/11/03(金)16:43 ID:sh4/Y9Em(1) AAS
この証明の例が分かりません。明らかに間違っている（正しくMPが使われていない）と思うのですが……

画像ﾘﾝｸ[jpg]:i.imgur.com
画像ﾘﾝｸ[jpg]:i.imgur.com

154(1): 2017/11/04(土)22:50 ID:jZgAiEKg(1/3) AAS
ヒルベルト形式の証明体系の話です（命題論理）。
系の証明が分かりません。無矛盾の定義もかなり特殊なような気がするのですが……どなたかお願いします。
画像ﾘﾝｸ[jpg]:i.imgur.com

442(1): 2017/11/09(木)19:33 ID:JfxwYVU8(1) AAS
画像ﾘﾝｸ[jpg]:i.imgur.com

これの設題2の2番がさっぱりです
通信制の大学なので教授に聞くのも不可能なのですが、
わかる方、丁寧に教えていただけると助かります

483: 2017/11/10(金)08:58 ID:9dR83lHU(1) AAS
(2)の答え50cm^2になるみたいですけど、どうやって誘導すればいいですか？ご教示いただけますと幸いです。
画像ﾘﾝｸ[jpg]:i.imgur.com