論理学

Posts filed under 論理学

論理のお話 第一回 命題論理

Filed in 論理学

 ちょっとした思いつきとか都合で数学的 (というか論理学的) な話をいくつか書いていこうと思います。
 長月はわんくま勉強会で論理の話をしているんですが、ちょこちょこ何か書いていかないと急に資料作るの大変だとか、多分これまでのセッションでぽかーんになったままの人が沢山居るだろうからフォローしないとなとか例示が足りてなかったなとか口頭でフォローするからいいやとそれだけでわかる資料になってないなとか思うところがあります。
 なので数学なお話をしばらく書いていこうかなと思います。計算理論や論理学の本に書いてあるような説明から、わんくま勉強会で話しているときにポロポロと漏らしていた長月の感想的な部分など、長月の言葉で論理学を見ていきましょう。
 第一回の今回は命題論理について。
# 目次
- 1.命題論理事始め
- 1.1.命題ってなんだ?
- 1.2.論理って何だ?
- 1.3.結局命題論理ってなんだ?
- 2.命題論理の規則
- 2.1.命題変数
- 2.2.論理結合子
- 2.3.書き換え規則

Read the rest of this entry »


Warning: sprintf() [function.sprintf]: Too few arguments in /home/users/2/lolipop.jp-dp07042166/web/wordpress/wp-includes/widgets.php on line 1042
Oenology Post Formats
Click to view/hide

Warning: sprintf() [function.sprintf]: Too few arguments in /home/users/2/lolipop.jp-dp07042166/web/wordpress/wp-includes/widgets.php on line 1042
Posts Calendar
Click to view/hide
2017年11月
« 12月    
 1234
567891011
12131415161718
19202122232425
2627282930  

Warning: sprintf() [function.sprintf]: Too few arguments in /home/users/2/lolipop.jp-dp07042166/web/wordpress/wp-includes/widgets.php on line 1042
アーカイブ
Click to view/hide

Warning: sprintf() [function.sprintf]: Too few arguments in /home/users/2/lolipop.jp-dp07042166/web/wordpress/wp-includes/widgets.php on line 1042
最近の投稿
Click to view/hide