<a href="https://nichidaibunrigojokai.swiki.jp/index.php?cmd=related&page=%E8%AB%96%E7%90%86%E5%AD%A6%28%E6%B4%A5%E7%95%99%E7%AB%9C%E9%A6%AC%29">論理学(津留竜馬)</a> のバックアップ(No.5)
|
論理学(津留竜馬) のバックアップ(No.5)
■論理学
概要
|
| 授業形態 | 対面授業 |
| 日程/教室 | 水曜日 ３限目/3307教室(３号館３階７番教室) |
論理式 
述語論理で使う記号は
| 記号 | 説明 |
| → | ならば |
| ¬ | 否定 |
| ∩ | 且つ(積集合)：任意の集合と集合の共通部分 |
| ∪ | 又は(和集合)：任意の集合と集合のどちらか一方、または両方に属する要素を全て集めた集合 |
| ∀ | 全称量化子：全て。AllのAを逆さにした記号 |
| ∃ | 存在量化子：ある。Exist(存在)のEを逆さにした記号 |
文章の論理式化
| 例文 | 考え方 | 論理式 |
| 日本人は和を重んじる。 | 日本人(P)ならば、和を重んじる(Q)。 | P→Q |
| 日本人は降伏しない。 | 日本人(P)ならば、降伏(Q)しない。 | P→¬Q |
| 平家に非ずんば人に非ず。 | 平家(P)でないのならば、人(Q)ではない。 | ¬P→¬Q |
| 成人した男性 | 成人(P)で且つ男性(Q) | P∩Q |
| エビやカニは美味い。 | エビ(P)又はカニ(Q)ならば、美味い(R)。 | P∪Q→R |
| 全ての命 | 全て(∀)の命(P) | ∀P |
| 彼女がいる。 | 彼女(P)がいる(∃)。 | ∃P |
- 議論領域
「全て」や「ある」といった言葉が使われる時に、そこで話題になっているものの範囲
例：ある会議全体，ある学級の人数
法則
真偽
変数が含まれる論理式を真(Ｔ)と偽(Ｆ)に場合分けする。
が共にＴの場合のみＴとなり、それ以外はＦ
コメントはありません。 Comments/論理学(津留竜馬)?