論理式を生成するために部品となるすべての論理式をもとの論理式の部分論理式と呼びます。
< 前のページ
次のページ >

部分論理式

命題変数\(P,Q\)に関する式\(((\lnot P)\wedge Q)\)が論理式であることを論理式の定義から確認しましょう。まず、命題変数\(P,Q\)はいずれも論理式です。\(P\)が論理式であるならば\(\left( \lnot P\right) \)は論理式です。\(\left( \lnot P\right) \)と\(Q\)が論理式であるならば\(\left( \left( \lnot P\right) \wedge Q\right) \)は論理式です。

論理式の定義を復習する

さて、この論理式\(((\lnot P)\wedge Q)\)を生成する過程で登場したすべての論理式\(P,Q,(\lnot P)\)に\(((\lnot P)\wedge Q)\)自身を加えたものを\(((\lnot P)\wedge Q)\)の部分論理式(subformula)と呼びます。つまり、ある論理式の部分論理式とは、その論理式を生成するために部品となるすべての論理式を指します。ただし、論理式自身をその論理式の部分論理式とみなします。

論理式の部分論理式を以下のように再帰的に定義します。

定義(部分論理式)
  1. 論理式\(A\)自身は\(A\)の部分論理式である。
  2. 論理式\(A\)が論理式\(B\)を用いて\(\left( \lnot B\right) \)の形で表されているとき、\(B\)の部分論理式はすべて\(A\)の部分論理式でもある。
  3. 論理式\(A\)が論理式\(B,C\)を用いて\(\left( B\wedge C\right) \)という形で表されているとき、\(B,C\)の部分論理式はすべて\(A\)の部分論理式である。
  4. 論理式\(A\)が論理式\(B,C\)を用いて\(\left( B\vee C\right) \)という形で表されているとき、\(B,C\)の部分論理式はすべて\(A\)の部分論理式である。
  5. 論理式\(A\)が論理式\(B,C\)を用いて\(\left( B\veebar C\right) \)という形で表されているとき、\(B,C\)の部分論理式はすべて\(A\)の部分論理式である。
  6. 論理式\(A\)が論理式\(B,C\)を用いて\(\left( B\rightarrow C\right) \)という形で表されているとき、\(B,C\)の部分論理式はすべて\(A\)の部分論理式である。
  7. 論理式\(A\)が論理式\(B,C\)を用いて\(\left( B\leftrightarrow C\right) \)という形で表されているとき、\(B,C\)の部分論理式はすべて\(A\)の部分論理式である。

いくつか例を挙げます。

例(部分論理式)
命題変数\(P\)に関する論理式\(\left( \lnot P\right) \)の部分論理式を特定します。まず、\(P\)自身は\(P\)の部分論理式です。\(P\)の部分論理式である\(P\)は\(\left( \lnot P\right) \)の部分論理式です。また、\(\left( \lnot P\right) \)自身は\(\left( \lnot P\right) \)の部分論理式です。したがって、\(\left( \lnot P\right) \)の部分論理式は\(P\)と\(\left( \lnot P\right) \)です。
例(部分論理式)
命題変数\(P,Q\)に関する論理式\(\left( \left( \lnot P\right) \rightarrow Q\right) \)の部分論理式を特定します。先に確認したように、\(\left( \lnot P\right) \)の部分論理式は\(P\)と\(\left( \lnot P\right) \)です。また、\(Q\)自身は\(Q\)の部分論理式です。また、\(\left( \lnot P\right) \)の部分論理式\(P,\left( \lnot P\right) \)と\(Q\)の部分論理式\(Q\)はいずれも\(\left( \left( \lnot P\right) \rightarrow Q\right) \)の部分論理式です。また、\(\left( \left( \lnot P\right) \rightarrow Q\right) \)自身は\(\left( \left( \lnot P\right) \rightarrow Q\right) \)の部分論理式です。したがって、\(\left( \left( \lnot P\right) \rightarrow Q\right) \)の部分論理式は\(P,\ \left( \lnot P\right) ,\ Q,\ \left( \left( \lnot P\right) \rightarrow Q\right) \)です。

次回からは論理式の解釈について学びます。

次へ進む 質問・コメント(プレミアム会員限定) 演習問題(プレミアム会員限定)
Share on facebook
Share on twitter
Share on email
< 前のページ
次のページ >

プレミアム会員になると、質問やコメントの投稿と閲覧、プレミアムコンテンツ(命題の証明や演習問題とその解答)へのアクセスなどが可能になります。プレミアム会員の方は以下からログインしてください。

会員登録 | パスワードを忘れましたか?

有料のプレミアム会員になると、質問やコメントの投稿と閲覧、プレミアムコンテンツ(命題の証明や演習問題とその解答)へのアクセスなどが可能になります。

ワイズのユーザーは年齢・性別・学歴・社会的立場などとは関係なく「学ぶ人」として対等であり、お互いを人格として尊重することが求められます。ユーザーが快適かつ安心して「学ぶ」ことに集中できる環境を整備するため、広告やスパム投稿、他のユーザーを貶めたり威圧する発言、学んでいる内容とは関係のない不毛な議論などはブロックすることになっています。詳細はガイドラインをご覧ください。

本サイトは MathJax を実装しているため、コメント文中で LaTex コマンドを利用することで美しい数式を入力できます。その際、インライン数式は\(数式\)で、ディスプレイ数式は$$数式$$という形式でそれぞれ入力してください。 例えば、\(ax^{2}+bx+c=0\)と入力すると\(ax^{2}+bx+c=0\)と表示され、$$ax^{2}+bx+c=0$$と入力すると$$ax^{2}+bx+c=0$$と表示されます。MathJax(LaTex)の文法については次のサイト( https://easy-copy-mathjax.xxxx7.com )などを参照してください。 紙に手書きした数式や図をカメラやスマホで撮影した上で、コメント欄に張り付けることもできます。その場合、コメント入力欄にある「ファイルを選択」ボタンをクリックした上で画像をアップロードしてください。アップロード可能な画像フォーマットは jpg, gif, png の 3 種類、ファイルサイズの上限は 5 MB です。PDF ファイルの添付も可能です。

誤字脱字、リンク切れ、内容の誤りを発見した場合にはコメントに投稿するのではなく、以下のフォームからご連絡をお願い致します。

プレミアム会員だけが質問やコメントを投稿・閲覧できます。

命題論理
アカウント
ログイン