LogicCafe #0 #logic_cafe

ざっきー dev @zakky_dev

ちゅーん氏はエロ #logic_cafe

ざっきー dev @zakky_dev

排中律 is 何という話 #logic_cafe

Kouji Matsui @kekyo2

排中律博士bot面白いww #logic_cafe

ざっきー dev @zakky_dev

「論理学はカッチリとした話をしたいので、ルールでガチガチに縛る」 #logic_cafe

ざっきー dev @zakky_dev

「_|_」を「ぼとむ」で登録した。 #logic_cafe

ざっきー dev @zakky_dev

バックスラッシュがエンマークで表示されることについての雑談 #logic_cafe

ざっきー dev @zakky_dev

論理式とはどういったものかを定めようという話 #logic_cafe

ざっきー dev @zakky_dev

ちゅーん氏「再帰的ってのは……あれ、Vimが入ってない」 こはまさん「え?!?!」 #logic_cafe

ざっきー dev @zakky_dev

「再帰的」とは何ぞやということを説明するために四苦八苦する #logic_cafe

ざっきー dev @zakky_dev

無限の話 #logic_cafe

ざっきー dev @zakky_dev

未定義エラーでざわめいている。 #logic_cafe

ざっきー dev @zakky_dev

準備会だったはずが普通にテキスト読んでる。 #logic_cafe

ざっきー dev @zakky_dev

ちゅーん氏はエロ #一時間ぶり二回目 #logic_cafe

ざっきー dev @zakky_dev

命題変数p, q,...は論理式である。_|_は論理式である。論理式A, Bについて、A→B、A∧B、A∨Bは論理式である。 #logic_cafe

ざっきー dev @zakky_dev

LJのシーケントは「Γ=>Δ」という形式で、かつΔは単元集合 #logic_cafe

ざっきー dev @zakky_dev

てことかな? #logic_cafe

ざっきー dev @zakky_dev

難易度ハネ上がってません? #logic_cafe

スノトラ@握力… @sunotora

#logic_cafe 出てくる定義をきちんと把握しながら進まなければ森で迷う

ざっきー dev @zakky_dev

推論規則とは何ぞや? #logic_cafe

スノトラ@握力… @sunotora

#logic_cafe ソクラテスが死ぬ？

たくみ @st_31103

コーヒー以外ありえないwww #logic_cafe

Kouji Matsui @kekyo2

ヤヴァイ方のド・モルガンwww #logic_cafe

スノトラ@握力… @sunotora

#logic_cafe ヤバいド・モルガンの法則

スノトラ@握力… @sunotora

#logic_cafe やばい

Kouji Matsui @kekyo2

三段論法の証明できた！！！ 基礎力の高まり！！ #logic_cafe