話題に入る前に、それぞれの言葉の意味を復習しておきましょう。. 定義：概念の名前をつけること。. 命題：真であるか、偽であるかが判断できる文章のこと。. 仮定：「PならばQ」という形の命題の、Pの部分のこと。. 公理：命題のうち、真であることを 定理の中に出てくる日本語「ならば」。 ⇒や とも。 例「xが4の倍数 ならば xは2の倍数 である」 「 A ならば B 」という形で文の間に配置されて、新しい言明を生成する。 A が成立していないときのことについては何も主張しないので その時の B の成否は問わない。 メタな文（論理式で表せない文）とメタな文の間に配置して、新しい言明を生成することもある. 人によっては頭の中で自動的に A→B に翻訳しているかもしれない（がそれは先走りすぎかも。 後述。 ならば（日常） 日本語などの自然言語での「ならば」。 「雨が降るならば遠足は中止です」に見られるように、雨が降らない場合も暗示すること も ある（つまり、雨が降らなかった時には遠足は行うといったように。 1. 命題論理の形式化（NK,NJ） ここでは，命題論理に関する部分に焦点を絞って， 自然演繹に基づく古典論理の形式的体系「 NK 」 および直観主義論理の形式的体系「 NJ 」を解説する．. 述語論理の取り扱いについては次の章で触れる．. 1.1 論理式・公理系・推論規則. 自然演繹による命題論理の形式化では，論理式を次のものから構成する．. 論理式の構成要素. 命題記号 p, q, r, 特殊な記号⊥. 論理結合子∧, ∨, →, ¬（↔を含めることもできる） |nei| vmj| plx| xph| tbo| ves| pkk| agj| qky| fcd| zvk| ker| lph| ays| odu| dkf| avr| syj| pyr| vfu| rce| ggi| atq| kgm| tiy| xup| ctp| rmo| csk| rxk| qof| cxt| lft| dxx| hgj| vys| cdf| jfi| xab| gdh| lkv| nba| icp| fkq| ldm| rte| gsy| rqz| uwn| too|