TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
大学の数学科はぜんぶ潰すべき
フーリエ変換・ラプラス変換
【あさひ】高校数学の質問スレPart397
未だに数学で納得いかないこと挙げてけ4
高校数学の質問スレPart402
分からない問題はここに書いてね445
♂♂♂♂♂♂♂♂♂♂♂ 嫉妬
この掲示板いらんやろ
オススメ大学
【未解決問題】奇数の完全数が存在しないことの証明5
「安倍がRば、日本は幸せになる」という命題があるとき、安倍が死んでないならこの命題は必ず真
- 1 ：2017/03/29 〜 最終レス ：2020/01/25
- これマジ？
- 2 ：
- 【緊急拡散】森友学園問題のヤバすぎる真相を一発で理解できるコピペを拡散しよう！！！ 籠池泰典と辻元清美と在日ヤクザの真っ黒な繋がりが露わに！！！
http://www.news-us.jp/article/20170328-000007z.html
●●【辻本清美】 行状・素行 ・疑問&蛸の擬態となりすまし●●
https://www.youtube.com/watch?v=_ayYS_HQ2eg
民進・辻元清美氏に新たな「３つの疑惑」 民進党「拡散やめて」メディアに忖度要求
http://www.sankei.com/politics/news/170328/plt1703280002-n1.html
辻元清美（動画）← 検索してみる
https://www.youtube.com/results?search_query=%E8%BE%BB%E5%85%83%E6%B8%85%E7%BE%8E
マスコミ芸能界をパチンコマネーとヤクザの暴力で制圧した韓国人の恐るべし日本支配の手口を在日が実名で告白！？
https://www.youtube.com/watch?v=4NitS2eO6GY
在日議員
https://www.youtube.com/results?search_query=%E5%9C%A8%E6%97%A5%E8%AD%B0%E5%93%A1
【在日】鴨池氏（通名）について。
https://www.youtube.com/watch?v=H5FmrSDSgYc
【駆除 反日裁判官】 日本の異常なメディアと司法制度
https://www.youtube.com/watch?v=st0SlR3UriE
在日公務員
https://www.youtube.com/results?sp=SADqAwA%253D&q=%E5%9C%A8%E6%97%A5%E5%85%AC%E5%8B%99%E5%93%A1
公務員に在日韓国人の帰化人が多い理由 ← ●必見
http://ai.2ch.sc/test/read.cgi/koumu/1393060989/
反日害国人、反日帰化人の公務員採用完全撤廃デモin日本橋 1〜5
https://www.youtube.com/watch?v=1hndyMuIDb8
- 3 ：
- 在日朝鮮人の未来のために
- 4 ：
- 悪魔の証明に関する記述はすべて間違い
これは何を言いたかったのかというと
悪魔＝犯罪者
そして自分が悪魔ではないことを証明するのは不可能
ようするに裁判とか司法は無意味ということであり
彼らが悪魔を作っている張本人である
- 5 ：
- 待ってりゃ、いつかは死ぬだろ。
- 6 ：
- 辻元清美議員おもしろいねえ
- 7 ：
- 晋太郎さんは1991/05/15 にお亡くなりです。合掌。
- 8 ：
- 晴明さんは寛弘2年9月26日（1005/10/31）にお亡くなりです。合掌。
晴明神社
京都市 上京区 堀川通一条上ル晴明町806
墓所
京都市 右京区 角倉町 嵯峨天竜寺12
アベノ晴明神社
大阪市 阿倍野区 阿倍野元町5-16
- 9 ：
- 仲麻呂さんは宝亀元年１月（770/01/ ）にお亡くなりです。合掌。
http://ja.wikipedia.org/wiki/%E3%83%95%E3%82%A1%E3%82%A4%E3%83%AB:Hyakuninisshu_007.jpg
- 10 ：
- 数学板、論理もできない頭弱いやつしかおらんのな
- 11 ：
- 糞スレ立てるまえに義務教育やり直せ
- 12 ：
- >>1はダメだね。
「安倍が死んでいれば、日本は幸せになる」という命題があるとき、安倍が死んでないならこの命題は必ず真
これなら正しいよ。
- 13 ：
- 「安倍が死んでいれば、日本は不幸になる」という命題があるとき、安倍が死んでないならこの命題は必ず真
これなら正しいよ。
- 14 ：
- >>12
「安倍が死んでいれば、日本は幸せになる」という命題が真であるとき、安倍が死んでないならこの命題は必ず真
ではないか？
- 15 ：
- >>14
なんで最初から真なのに、更に真偽を判断するんだ？ｗ
- 16 ：
- ￥
- 17 ：
- ￥
- 18 ：
- ￥
- 19 ：
- ￥
- 20 ：
- ￥
- 21 ：
- ￥
- 22 ：
- ￥
- 23 ：
- ￥
- 24 ：
- ￥
- 25 ：
- ￥
- 26 ：
- ／⌒~ヽノ~⌒＼ ＿／￣Ｚ＿
`/ ⌒ヾヾｿﾉﾉ⌒ヽヽ ／ ＿__ ＜
｜i /￣ヾノ￣ヽi | / ／ ＼＿＿ヽ
ﾉノ|ノ＼ ／ヽ |ヽし ﾚ｜ ＼ ／ ｜Ｎ
彡ノ-･- ii -･-ヽミｲ (｜-･-∧-･- ｜彡
ヽ( ー || ー )_ノ彡 .ﾋ | | ｿ
｜ ヽノ ｜彡 ｜ ‥ ｜
＼ ー― ＼／ ＼ ― ) ／
＼＿__／ ＼＿_／ル
／Ｖ▽ Ｖ＼ ／Ｖ>< Ｖ＼
売 国 罪 親 子
- 27 ：
- ★★★数学徒は馬鹿板をしない生活を送るべき。大脳が腐るのでサッサとヤメレ。★★★
￥
- 28 ：
- ￥
- 29 ：
- ￥
- 30 ：
- ￥
- 31 ：
- ￥
- 32 ：
- ￥
- 33 ：
- ￥
- 34 ：
- ￥
- 35 ：
- ￥
- 36 ：
- ￥
- 37 ：
- ￥
- 38 ：
- そのときは蓮舫は日本人であるか？
- 39 ：
- ★★★数学徒は馬鹿板をしない生活を送るべき。大脳が腐るのでサッサとヤメレ。★★★
￥
- 40 ：
- ￥
- 41 ：
- ￥
- 42 ：
- ￥
- 43 ：
- ￥
- 44 ：
- ￥
- 45 ：
- ￥
- 46 ：
- ￥
- 47 ：
- ￥
- 48 ：
- ￥
- 49 ：
- ￥
- 50 ：
- 「安倍がRば、日本は幸せになる」
「蓮舫がRば、日本人がひとりへる」
この命題の信義を投う
- 51 ：
- ★★★数学徒は馬鹿板をしない生活を送るべき。大脳が腐るのでサッサとヤメレ。★★★
￥
- 52 ：
- ￥
- 53 ：
- ￥
- 54 ：
- ￥
- 55 ：
- ￥
- 56 ：
- ￥
- 57 ：
- ￥
- 58 ：
- ￥
- 59 ：
- ￥
- 60 ：
- ￥
- 61 ：
- ￥
- 62 ：
- _／::::::::ソ:::::::::::::゛'ヽ、
/:::::-:::i´i|::|/:::::::::::::::::ヽ _,-=vィ彡ミﾐﾐヽ,
/:::::::,,ヽ"｀ "ヽﾐﾐ:::::::::::ヽ ﾐミ彡＝ミミﾐミミﾐﾐ,,
/::::::= `-:::::::ヽ ミ彡 ミミミﾐミミﾐミ
|::::::/ .,,,=≡, ,≡=、 l:::::l 売 彡! ＿_ ミミミﾐミミミ
／＼ i::::l゛ ／･＼,!.／･＼、l:::! /´| ミ! ＼_ _／~ ミミﾐ彡
＼／⌒ゝ' " ノ/ i＼ |:i 国 | | /´}!| ｀-=・=‐∧'-=・=‐' 川ﾐ
ノ ノ⌒,- ),､ ,ィ_____.iヽ i/ | | / / !| _ !!ﾐ
/´ ´ ' , ^ ヽ / l i ) 奴 rｰﾄ､ l' / ゞ|ヽ､ 人・ ・人 ﾉゞ
/ ヽ ﾉ"＼ノ`'''｀''''´ヽ _/ { ! {､ヽ. l ヽ| ､ ＿＿__ ル
人 ノ ＼／ `ー'´ ／ ﾊ_>Jﾉ l | .＼ `ヽｴｴノ ｿ
／::::＼__／:::::::ヽ ｀ "ーイ＿＿ 〉 ／ ト-_＿__-ノ 入
:::::::::::::::: |::::::::::＼＼__ ／ |:::::::::::＼ / / . ゝ-＿__..| ト ノﾉ ヽ＿
- 63 ：
- ★★★数学徒は馬鹿板をしない生活を送り、日頃から真面目に学問に精進すべき。★★★
￥
- 64 ：
- ￥
- 65 ：
- ￥
- 66 ：
- ￥
- 67 ：
- ￥
- 68 ：
- ￥
- 69 ：
- ￥
- 70 ：
- ￥
- 71 ：
- ￥
- 72 ：
- ￥
- 73 ：
- ￥
- 74 ：
- ■ 自民党戦略特区廃止法案提出へ
http://carpenter.2ch.sc/test/read.cgi/liveplus/1496420542/
【農業特区】 小泉進次郎 【モンサント外資へ売国】
http://egg.2ch.sc/test/read.cgi/sisou/1285092910/
【神奈川区】 石川たくみ 【アグリビジネスへの詐欺】
http://mint.2ch.sc/test/read.cgi/giin/1491719947/
【三浦市区】 吉田 英男 【公用車でソープランドに】
http://rio2016.2ch.sc/test/read.cgi/koumu/1489670675/
- 75 ：
- http://www.xvideos.com/video1795513/couple_fuck_at_xmas
- 76 ：
- またネトエラが暴れてんのか。
- 77 ：
- ★★★数学徒は馬鹿板をしない生活を送り、日頃から真面目に学問に精進すべき。★★★
￥
- 78 ：
- ￥
- 79 ：
- ￥
- 80 ：
- ￥
- 81 ：
- ￥
- 82 ：
- ￥
- 83 ：
- ￥
- 84 ：
- ￥
- 85 ：
- ￥
- 86 ：
- ￥
- 87 ：
- ￥
- 88 ：
- 耳栓をしたら世界が変わってワロタ
- 89 ：
- 次の演繹が正しいことを証明せよ。
すべての患者はすべての頭のよい医者を好む。
幾人かの患者はいかなるド底辺特殊シリツ医大卒をも好まない。
ゆえにすべてのド底辺特殊シリツ医大卒は頭がよくない。
(証明)
Dx : xは医者である
Wx : xは頭がよい
Sx : xはド底辺特殊シリツ医大卒である
Lpx : pはxを好む
P1 : ∀p∀x(Dx∧Wx→Lpx)
P2 : ∃p∀x(Dx∧Sx→¬Lpx)
Q : ∀x(Dx∧Sx→¬Wx)
¬Qを仮定すれば∃x(Dx∧Sx∧Wx)
これを満たすxをaとするとDa∧Sa∧Wa (1)
(1)からDa∧Wa (2)
P1と(2)から ∀p(Da∧Wa→Lpa)
∀p(Lpa) (3)
(1)からDa∧Sa (4)
P2と(4)から ∃p(Da∧Sa→¬Lpa)
これを満たすpをbとすると
Da∧Sa→¬Lba
¬Lba (5)
(3)はp=bでも成立するから
Lba (6)
(5)(6)は矛盾するから仮定の¬Qは誤り。
ゆえにQは真
- 90 ：
- # Lukasiewicz
library('gtools')
pm2=permutations(2,2,v=c(T,F),re=TRUE) ; pm2
pm3=permutations(2,3,v=c(T,F),re=TRUE) ; pm3
imply <- function(x,y) !x || y
eqv <- function(x,y) (!x||y)&&(!y||x)
for(i in 1:4) print(f1(pm2[i,]))
for(i in 1:8) print(f1(pm3[i,]))
# L1 : A->(B->A)
f <- function(A,B) imply(A,imply(B,A))
f1 <- function(pm) f(pm[1],pm[2])
for(i in 1:4) print(f1(pm2[i,]))
# L2 : (A->(B->C))->((A->B)->(A->C))
f <- function(A,B,C) imply(imply(A,imply(B,C)),imply(imply(A,B),imply(A,C)))
f1 <- function(pm) f(pm[1],pm[2],pm[3])
for(i in 1:8) print(f1(pm3[i,]))
# L3 : (!B->!A) -> (A->B)
f <- function(A,B,C) imply(imply(!B,!A),imply(A,B))
f1 <- function(pm) f(pm[1],pm[2],pm[3])
for(i in 1:8) print(f1(pm3[i,]))
# modus ponens A & (A->B) -> B
f <- function(A,B) imply(A && imply(A,B),B)
f1 <- function(pm) f(pm[1],pm[2])
for(i in 1:4) print(f1(pm2[i,]))
- 91 ：
- A∨B ⇔ ¬A→B
Bを¬Aとすれば
排中律 A∨¬Aは¬A→¬Aと同値。
公理L1 : p→(q→p)
公理L2 : (p→(q→r))→((p→q)→(p→r))
公理L3 : (¬q→¬p) → (p→q)
modus ponens(推論規則) A, A->B ⇒ B
(1)x→xの証明
L1,L2でp=x,q=x→x,r=xとすれば
x→((x→x)→x)
(x→((x→x)→x)) → ((x→(x→x))→(x→x))
ゆえに
((x→(x→x))→(x→x))
L1によりx→(x→x)は常に成り立つからx→x (1*)
(1*)でx=¬Aとすれば ¬A→¬A
即ち、排中律が演繹できる。
- 92 ：
- 二重否定律¬¬A→Aの証明
L1にp=¬a,q=¬bとして
¬a→(¬b→¬a)
¬aを仮定して
¬b→¬a
L3によりこれはa→b
ゆえに¬a→(a→b) (2*)
(2*)に a=¬A, b=¬¬¬Aとすると
¬¬A→(¬A→¬¬¬A)
L3にp=¬¬A, q=Aとすると
(¬A→¬¬¬A)→(¬¬A→A)
ゆえに
¬¬A→(¬¬A→A)
L2でp=¬¬A,q=¬¬A,r=Aとすれば
(¬¬A→(¬¬A→A))→((¬¬A→¬¬A)→(¬¬A→A))
なので
(¬¬A→¬¬A)→(¬¬A→A)
¬¬A→¬¬A ∵ (1*) x=¬¬A
¬¬A→A
- 93 ：
- 耳栓をしたら世界が変わってワロタ
- 94 ：
- ￥
- 95 ：
- ￥
- 96 ：
- ￥
- 97 ：
- ￥
- 98 ：
- ￥
- 99 ：
- ￥
- 100 ：
- ￥
100〜のスレッドの続きを読む
アレクサンドル・グロタンディーク神
現代数学の系譜 古典ガロア理論を読む36
Octaveやmaximaなどの数学系のフリーソフトのスレ
現代数学の系譜 古典ガロア理論を読む36
確率論とそれに近い分野のスレ
Inter-universal geometry と ABC予想 (応援スレ) 47
円周率について語り合おう【π】
分からない問題はここに書いてね444
【数学検定】数学検定1級 合格4
フェルマーの最終定理証明したったwwww
--------------------
【Mt.Naeba】苗場・田代・かぐら・みつまた part61
タイガー・ウッズについて語ろう-14
Win98から2000に乗り換えて困った事
ディズニーチケットが当たる懸賞 20
ストーリーが悪いけど高評価なゲームってなんかある？？
【政治資金収支報告書】辻元清美は大阪兵庫生コン経営者会から献金を貰っている
μTorrent(uTorrent)旧バージョン専用スレ
【失恋】後悔、思い出など【泣きたい】２
超時空騎団サザンクロスのプラモ
【クルーズ客船】 客船 ９番船 【定期客船】
【MLB】ダルビッシュ、ハム杉谷の“背番号問題”に言及 小笠原氏復帰で「俺なら言われる前に返す」
お隣川柳５・７・５ 【NOヘイト】 第一集
平和堂石山店
何故東京都民は田舎に憧れるのか?
大阪府立大学工学生「はあー頑張って勉強したのに知名度皆無、ブランド皆無の大学かよ」
ヒックとドラゴン How to Train Your Dragon 13
深夜３時の点呼：48回目
ずばり聞きます、東京は半年後安全？ 9枚目
銀魂なんでも雑談353【ホモノマ百合】
やる気満々の未経験VS死ぬほどやる気ないキャリア10年(業務必要資格全て取得住み)、どっち採用する？ [226456927]
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
