<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> をテンプレートにして作成
右端に[+]の印が付いた帯は、タップまたはクリックをすると、閲覧できます。
[
ホーム
|
リロード
|
新規
]
サイト内検索
:
[
差分チェッカー
]
[
アップローダー
]
【楽天スーパーDEAL】毎日更新・最大50%ポイントバック!!(広告)
Tweet
論理学(津留竜馬)
をテンプレートにして作成
開始行:
''■[[論理学]]''
//#include( ,notitle)
#contents
|BGCOLOR(#555):COLOR(White):200|520|c
|BGCOLOR(#fc2):COLOR(Black):''分類''|''選択''|
|区分|総合教育科目|
|履修形態|完全抽選|
|履修条件|抽選に当たる。|
|単位数|2|
|講師|[[津留竜馬]]|
|学位等|学士|
*概要 [#Gaiyou]
論理式について学ぶ科目。理系と文系が合体したような内容。
CHIPSによる抽選を行う。
#br
決まりに従って文章を論理式に変換する遊びだと思って受講す...
「これに何の意味があるのか」などと考えると、途端に苦しく...
ノート必須。
欠席し過ぎると授業に付いていけなくなる。
#br
教科書・プリントはなし。教員が板書するのをノートに書き写...
評価は試験で行う。
*講師の印象 [#Inshou]
*令和七年度(2025年度) [#h81d5434]
#style(class=submenuheader){{
**前期
}}
#style(class=submenu){{
|BGCOLOR(#555):COLOR(White):200|520|c
|BGCOLOR(#fc2):COLOR(Black):授業形態|対面授業|
|日程/教室|水曜日 3限目/3307教室(3号館3階7番教室)|
***論理式 [#h81d5499]
述語論理で使う記号はこれだけ覚えれば大丈夫。
|記号|説明|h
|→|ならば|
|¬|否定|
|∩|且つ(積集合):任意の集合と集合の共通部分|
|∪|又は(和集合):任意の集合と集合のどちらか一方、または両...
|∀|全称量化子:全て。AllのAを逆さにした記号|
|∃|存在量化子:ある。Exist(存在)のEを逆さにした記号|
|⇔|同値。↔ではない。|
***文章の論理式化 [#h81d5555]
|例文|考え方|論理式|h
|日本人は和を重んじる。|日本人(P)ならば、和を重んじる(Q)...
|日本人は降伏しない。|日本人(P)ならば、降伏(Q)しない。|P→...
|平家に非ずんば人に非ず。|平家(P)でないのならば、人(Q)で...
|成人した男性|成人(P)で且つ男性(Q)|P∩Q|
|エビやカニは美味い。|エビ(P)又はカニ(Q)ならば、美味い(R)...
|全ての命|全て(∀)の命(P)|∀P|
|彼女がいる。|彼女(P)がいる(∃)。|∃P|
-議論領域
「全て」や「ある」といった言葉が使われる時に、そこで話題...
例:ある会議全体,ある学級の人数
***法則 [#h81d6665]
|~A→A|同一律|
|~A∪¬A|排中律|
|~((A→B)→A)|パースの法則|
|>|CENTER:代表的論理法則|h
|¬¬A⇔A|二重否定除去則|
|A∩B⇔B∩A|交換則|
|A∪B⇔B∪A|~|
|⇔||
|⇔||
|⇔||
|⇔||
|⇔||
|⇔||
|⇔||
|⇔||
|⇔||
|⇔||
|⇔||
作成途中
***真偽 [#h81d6666]
変数が含まれる論理式を真(T)と偽(F)に場合分けする。
|>|基本|h
|P→Q|「Pが真でQが偽」の時のみ偽(F)となり、それ以外は全て...
|P∩Q|P∩Qが共にTの場合のみTとなり、それ以外はF|
|P∪Q|少なくとも一方がTであればTとなる。両方ともFの場合...
|¬|結果を反転(TはFに、FはTにする。)|
#br
論理式の真偽を決めるには真理表を用いる。
-P→Qの場合
|P|Q|P→Q|h
|T|T|T|
|T|F|F|
|F|T|T|
|F|F|T|
-¬P→¬Qの場合
|P|Q|¬P|¬Q|¬P→¬Q|h
|T|T|F|F|T|
|T|F|F|T|T|
|F|T|T|F|F|
|F|F|T|T|T|
-P∩Qの場合
|P|Q|P∩Q|h
|T|T|T|
|T|F|F|
|F|T|F|
|F|F|F|
-P∪Qの場合
|P|Q|P∪Q|h
|T|T|T|
|T|F|T|
|F|T|T|
|F|F|F|
#br
|~真理表で全て真になる行|妥当式|
|~真理表で全て偽になる行|矛盾式|
|~それ以外|事実式|
基本的に全て事実式
妥当式はP→(Q→P)ぐらいしかない。矛盾式に至っては出てこない。
***述語論理 [#h81d7777]
}}
*コメント [#comment]
#pcomment(,reply,20,)
終了行:
''■[[論理学]]''
//#include( ,notitle)
#contents
|BGCOLOR(#555):COLOR(White):200|520|c
|BGCOLOR(#fc2):COLOR(Black):''分類''|''選択''|
|区分|総合教育科目|
|履修形態|完全抽選|
|履修条件|抽選に当たる。|
|単位数|2|
|講師|[[津留竜馬]]|
|学位等|学士|
*概要 [#Gaiyou]
論理式について学ぶ科目。理系と文系が合体したような内容。
CHIPSによる抽選を行う。
#br
決まりに従って文章を論理式に変換する遊びだと思って受講す...
「これに何の意味があるのか」などと考えると、途端に苦しく...
ノート必須。
欠席し過ぎると授業に付いていけなくなる。
#br
教科書・プリントはなし。教員が板書するのをノートに書き写...
評価は試験で行う。
*講師の印象 [#Inshou]
*令和七年度(2025年度) [#h81d5434]
#style(class=submenuheader){{
**前期
}}
#style(class=submenu){{
|BGCOLOR(#555):COLOR(White):200|520|c
|BGCOLOR(#fc2):COLOR(Black):授業形態|対面授業|
|日程/教室|水曜日 3限目/3307教室(3号館3階7番教室)|
***論理式 [#h81d5499]
述語論理で使う記号はこれだけ覚えれば大丈夫。
|記号|説明|h
|→|ならば|
|¬|否定|
|∩|且つ(積集合):任意の集合と集合の共通部分|
|∪|又は(和集合):任意の集合と集合のどちらか一方、または両...
|∀|全称量化子:全て。AllのAを逆さにした記号|
|∃|存在量化子:ある。Exist(存在)のEを逆さにした記号|
|⇔|同値。↔ではない。|
***文章の論理式化 [#h81d5555]
|例文|考え方|論理式|h
|日本人は和を重んじる。|日本人(P)ならば、和を重んじる(Q)...
|日本人は降伏しない。|日本人(P)ならば、降伏(Q)しない。|P→...
|平家に非ずんば人に非ず。|平家(P)でないのならば、人(Q)で...
|成人した男性|成人(P)で且つ男性(Q)|P∩Q|
|エビやカニは美味い。|エビ(P)又はカニ(Q)ならば、美味い(R)...
|全ての命|全て(∀)の命(P)|∀P|
|彼女がいる。|彼女(P)がいる(∃)。|∃P|
-議論領域
「全て」や「ある」といった言葉が使われる時に、そこで話題...
例:ある会議全体,ある学級の人数
***法則 [#h81d6665]
|~A→A|同一律|
|~A∪¬A|排中律|
|~((A→B)→A)|パースの法則|
|>|CENTER:代表的論理法則|h
|¬¬A⇔A|二重否定除去則|
|A∩B⇔B∩A|交換則|
|A∪B⇔B∪A|~|
|⇔||
|⇔||
|⇔||
|⇔||
|⇔||
|⇔||
|⇔||
|⇔||
|⇔||
|⇔||
|⇔||
作成途中
***真偽 [#h81d6666]
変数が含まれる論理式を真(T)と偽(F)に場合分けする。
|>|基本|h
|P→Q|「Pが真でQが偽」の時のみ偽(F)となり、それ以外は全て...
|P∩Q|P∩Qが共にTの場合のみTとなり、それ以外はF|
|P∪Q|少なくとも一方がTであればTとなる。両方ともFの場合...
|¬|結果を反転(TはFに、FはTにする。)|
#br
論理式の真偽を決めるには真理表を用いる。
-P→Qの場合
|P|Q|P→Q|h
|T|T|T|
|T|F|F|
|F|T|T|
|F|F|T|
-¬P→¬Qの場合
|P|Q|¬P|¬Q|¬P→¬Q|h
|T|T|F|F|T|
|T|F|F|T|T|
|F|T|T|F|F|
|F|F|T|T|T|
-P∩Qの場合
|P|Q|P∩Q|h
|T|T|T|
|T|F|F|
|F|T|F|
|F|F|F|
-P∪Qの場合
|P|Q|P∪Q|h
|T|T|T|
|T|F|T|
|F|T|T|
|F|F|F|
#br
|~真理表で全て真になる行|妥当式|
|~真理表で全て偽になる行|矛盾式|
|~それ以外|事実式|
基本的に全て事実式
妥当式はP→(Q→P)ぐらいしかない。矛盾式に至っては出てこない。
***述語論理 [#h81d7777]
}}
*コメント [#comment]
#pcomment(,reply,20,)
ページ名: