定言的三段論法は4^4×=256通りありうる
これらを整理分析して19通り（厳密には24通り）が演繹的に妥当だと明らかにされている定言的三段論法
大前提1 すべての嫌儲民は哺乳類である
大前提2 私は嫌儲民である
結論 私は哺乳類である全称肯定（A） すべての◯が△である
全称否定（E） すべての◯が△でない
特称肯定（I） ある◯は△である
特称否定（O） ある◯は△でない
https://5ch.net
こういうの知りたい
>>2
お前が教えてくれるんじゃないのか
お前が教えてくれるんじゃないのか
めっちゃ賢そう
かっこE
ホモスレときいて
実存は本質に先立つ
数列の一般項の証明
a1とan+1で成立するから合ってる、ってのがよく分からんかった記憶
a1とan+1で成立するから合ってる、ってのがよく分からんかった記憶
君はホモだな
家に芝刈り機がなかったらゲイ
人は孤独なんですよ生まれつき、常にねというロンリーな論理
これ出来ない奴は、必要条件と十分条件もダメ
>>16
一般化と特殊化とか、逆と裏とか
あんま気にしないで生きている人結構多いんだよな
一般化と特殊化とか、逆と裏とか
あんま気にしないで生きている人結構多いんだよな
カップとキャップしか覚えてねえわ
指数の形の一般式
数列の定義:a^n+1
漸化式:a^n+1=a^n·a
私は正しい
故に私に交わる全てが正しいのです
恐れないで
故に私に交わる全てが正しいのです
恐れないで
【悲報】数学的帰納法は帰納法ではなかった
起きたら教えたるわ
どれだけ論理的であっても世の中が論理では動いていないので世の中の正解には必ずしもなり得ない
【基本概念】
論理圧（ロゴスプシュケ）
論理回（ロゴストルク）
言語戦場（ロゴッセウム）
資本戦場2.0(キャピタルラグナロク)
論理圧（ロゴスプシュケ）
論理回（ロゴストルク）
言語戦場（ロゴッセウム）
資本戦場2.0(キャピタルラグナロク)
恋と禁忌の述語論理(井上真偽)を読んだら？
古典論理学の発展系である現代数理論理学をミステリの謎解きに使った作品
様相論理という可能性を扱える論理を用いて、ひとつの命題が真か偽かだけでなく、どんな状態でも絶対に真か、それとも真になる「可能性」があるかを厳密に区別する
これによって探偵がすでに解決した事件を美人論理学者が次々と引っくり返すというミステリ
今確認したらKindleUnlimitedで読めるみたい
古典論理学の発展系である現代数理論理学をミステリの謎解きに使った作品
様相論理という可能性を扱える論理を用いて、ひとつの命題が真か偽かだけでなく、どんな状態でも絶対に真か、それとも真になる「可能性」があるかを厳密に区別する
これによって探偵がすでに解決した事件を美人論理学者が次々と引っくり返すというミステリ
今確認したらKindleUnlimitedで読めるみたい
十分条件
Aがあれば、必ずBが成り立つ
Aがあれば、必ずBが成り立つ
必要条件
Bが成り立つためにはAが必要
その３段論法って完璧じゃないよ
結論が確定しないと大前提１は言えないし
結論が確定しないと大前提１は言えないし
大前提が間違ってたら意味ないからな
科学の発達で死なない人間が出てきたらそれは人間じゃないのかとか
科学の発達で死なない人間が出てきたらそれは人間じゃないのかとか
形式論理の弱点はそれ自体を論理的に導き出していない点
とはいえ論理なしに論理展開はできないが
３段論法のような高度な論理は自身を説明できなければならない
とはいえ論理なしに論理展開はできないが
３段論法のような高度な論理は自身を説明できなければならない
人の脳は共通項を括りだして分類してるだけだからな
現実はりんごにしても同じものは2つとない
現実はりんごにしても同じものは2つとない
世間が認めやすいのは背理法
世間を認めさせたいなら弁証法
世間が認めるのは帰納法
世間を認めさせたいなら弁証法
世間が認めるのは帰納法
合ってる?
コメント