visual-learning
論理学・形式論理 インタラクティブ可視化
真理値表・ベン図・三段論法・量化子・論理ゲートなど形式論理を、命題や集合を動かして学ぶ。
visual-learning シリーズ：全分野は シリーズ一覧 からたどれます。
POC 一覧
論理学・形式論理
真理値表ビルダー
AND/OR/NOT/含意/同値の式を組み、各変数をクリックでトグルすると結果列が即再計算
開く →
論理学・形式論理ベン図と集合演算
2〜3円の中心・半径をドラッグし、和/積/差/補/対称差の領域を塗り分け
開く →
論理学・形式論理条件文と対偶・逆・裏
『PならばQ』に対し対偶・逆・裏を並べ、P/Qをトグルすると各命題の真偽が同時更新
開く →
論理学・形式論理論理的同値(ド・モルガン等)
左右2式の真理値表を並べ、全行一致するか(=同値か)を行ごとにハイライト
開く →
論理学・形式論理三段論法の妥当性
大前提・小前提のパターン(全称肯定/否定・特称等)を選ぶと、ベン図上で結論が必ず成り立つか(…
開く →
論理学・形式論理全称・存在量化子(∀・∃)
領域に要素を配置し各要素の性質をオン/オフでトグルすると、∀(すべて)/∃(存在)命題の真偽…
開く →
論理学・形式論理論理ゲートと回路
AND/OR/NOT/XOR/NANDゲートを配線し、入力ビットをクリック反転すると出力がリ…
開く →