mixiで趣味の話をしよう

mixiコミュニティには270万を超える趣味コミュニティがあるよ
ログインもしくは登録をして同じ趣味の人と出会おう♪

ホーム > コミュニティ > 学問、研究 > 非古典論理学

非古典論理学

  • mixiチェック
  • このエントリーをはてなブックマークに追加

コミュ内全体

詳細 2017年7月6日 07:50更新

  「母親が子供を叱らなければ、勉強をしない」
p="母親が子供を叱る"、 q="子供が勉強をする" と置くと
     ¬p → ¬q
 と書ける。
古典論理での対偶を取ると、
    ¬¬q → ¬¬p
 ∴    q → q
つまり、「子供が勉強すれば、母親が叱る」となる。
これが変だと感じれれば、非古典論理への道は開かれる!
**************************************************
アリストテレス・・・有名な哲学者にして、非常に几帳面な自然観察者(月によって出来る虹を記録)。
様々な論理の雛形について記述をした。

このコミュニティでは、古典論理に囚われることなく、もっと様々な論理について話題の話題を語りましょう。

基本記号
 ∨ または   ∧ かつ   ¬ 否定
 → ならば
 □ 必然    ◇ 可能


■古典論理
  A ∨ ¬A トートロジー、¬¬A <-> A



■非古典論理(拡張古典論理)
量子論理
ファジー論理
線形論理
様相論理 http://mixi.jp/view_community.pl?id=1720479
直観論理
時制論理
相関論理
多値論理
パラコンシステント論理
計算可能論理
その他

コミュニティにつぶやきを投稿

最近の投稿がありません泣き顔
つぶやき・トピック・イベント・アンケートを作成して参加者と交流しようわーい(嬉しい顔)
参加メンバー 116人

もっと見る

開設日
2007年2月9日

3910日間運営

カテゴリ
学問、研究
関連ワード
関連ワードを登録しよう

編集から関連ワードを登録すると、コミュニティがmixiワードに表示されるようになります!