|
厳密な定義を具体的に展開
・「P,Qから帰納的に定義される論理式」の上記定義は、
・個々の「P,Qから帰納的に定義される論理式」は、下記プロセスの各ステップによって認定されていくこと、
・「P,Qから帰納的に定義される論理式」と認定される対象の全範囲は、
下記プロセスの無限継続の果てに「P,Qから帰納的に定義される論理式」と認定された対象の全軌跡であること
を意味している。
・下記プロセスは、
(step1)で[条件1]によって「P,Qから帰納的に定義される論理式」のタネを蒔き、
(step2)以降で繰り返し[条件2]を適用することで、「P,Qから帰納的に定義される論理式」を増殖させていく
という過程になっている。
・下記プロセス(step2)まで完了すると、
「P,Qから帰納的に定義される論理式」と認定される範囲は、
最もシンプルなかたちの《P,Qを含む論理式》に到達する。
より複雑なかたちの《P,Qを含む論理式》であっても、その複雑さに見合うまで下記プロセスを継続すれば、
そこまで、「P,Qから帰納的に定義される論理式」と認定される範囲は、到達する。
だから、下記プロセスの無限継続の果てに「P,Qから帰納的に定義される論理式」と認定される範囲は、
あらゆる《P,Qを含む論理式》をカバーするに至るといえる。
【認定プロセス】
・[定義-条件1]より、 P,Qを「P,Qから帰納的に定義される論理式」に認定。…(step1)
* ここで認定されたP,Qの真理値は、真理値決定原理(1)によって定まる。
・(step1)で、「P,Qから帰納的に定義される論理式」に認定されたP,Qの各々を、
かわるがわる[定義-条件2]の「A∧B,A∨B,A⇒B,¬A」の A,B に代入し、
代入するたび毎に、
A∧B,A∨B,A⇒B,¬Aが表す対象
すなわち、
[条件2]のAをP、[条件2]のBをPとした、P∧P,P∨P,P⇒P,¬P
[条件2]のAをP、[条件2]のBをQとした P∧Q,P∨Q,P⇒Q,¬P
[条件2]のAをQ、[条件2]のBをPとした Q∧P,Q∨P,Q⇒P,¬Q
[条件2]のAをQ、[条件2]のBをQとした Q∧Q,Q∨Q,Q⇒Q,¬Q
を、「P,Qから帰納的に定義される論理式」に認定。…(step2)
* (step2)での認定と同時に、
真理値決定原理(2-1)〜(2-4)に従って、
(step2)で認定されたP,Qから帰納的に定義される論理式の真理値が、
(step1)で認定され真理値も確定したP,Qをもとに、
定まる。
・(step1)(step2)で「P,Qから帰納的に定義される論理式」に認定された
P,Q,P∧P,P∨P,P⇒P,¬P,
P∧Q,P∨Q,P⇒Q,
Q∧P,Q∨P,Q⇒P,¬Q,
Q∧Q,Q∨Q,Q⇒Q
の各々を、
かわるがわる[定義-条件2]の A,B に代入し、
代入するたび毎に、
A∧B,A∨B,A⇒B,¬Aが表す対象
を、「P,Qから帰納的に定義される論理式」に認定。…(step3)
ここで認定された「P,Qから帰納的に定義される論理式」を、以下列挙。
[条件2]のAをPとし、[条件2]のBをP∧Pとした、P∧(P∧P),P∨(P∧P),P⇒(P∧P),¬P
[条件2]のAをPとし、[条件2]のBをP∨Pとした、P∧(P∨P),P∨(P∨P),P⇒(P∨P),¬P
[条件2]のAをPとし、[条件2]のBをP⇒Pとした、P∧(P⇒P),P∨(P⇒P),P⇒(P⇒P),¬P
[条件2]のAをPとし、[条件2]のBを¬Pとした、P∧(¬P),P∨(¬P),P⇒(¬P),¬P
[条件2]のAをPとし、[条件2]のBをP∧Qとした、P∧(P∧Q),P∨(P∧Q),P⇒(P∧Q),¬P
[条件2]のAをPとし、[条件2]のBをP∨Qとした、P∧(P∨Q),P∨(P∨Q),P⇒(P∨Q),¬P
[条件2]のAをPとし、[条件2]のBをP⇒Qとした、P∧(P⇒Q),P∨(P⇒Q),P⇒(P⇒Q),¬P
[条件2]のAをPとし、[条件2]のBをQ∧Pとした、P∧(Q∧P),P∨(Q∧P),P⇒(Q∧P),¬P
[条件2]のAをPとし、[条件2]のBをQ∨Pとした、P∧(Q∨P),P∨(Q∨P),P⇒(Q∨P),¬P
[条件2]のAをPとし、[条件2]のBをQ⇒Pとした、P∧(Q⇒P),P∨(Q⇒P),P⇒(Q⇒P),¬P
[条件2]のAをPとし、[条件2]のBを¬Qとした、P∧(¬Q),P∨(¬Q),P⇒(¬Q),¬P
[条件2]のAをPとし、[条件2]のBをQ∧Qとした、P∧(Q∧Q),P∨(Q∧Q),P⇒(Q∧Q),¬P
[条件2]のAをPとし、[条件2]のBをQ∨Qとした、P∧(Q∨Q),P∨(Q∨Q),P⇒(Q∨Q),¬P
[条件2]のAをPとし、[条件2]のBをQ⇒Qとした、P∧(Q⇒Q),P∨(Q⇒Q),P⇒(Q⇒Q),¬P
[条件2]のAをP∧Pとし、[条件2]のBをPとした、(P∧P)∧P,(P∧P)∨P,(P∧P)⇒P,¬(P∧P)
[条件2]のAをP∧Pとし、[条件2]のBをQとした、(P∧P)∧Q,(P∧P)∨Q,(P∧P)⇒Q,¬(P∧P)
[条件2]のAをP∧Pとし、[条件2]のBをP∧Pとした、(P∧P)∧(P∧P),(P∧P)∨(P∧P),(P∧P)⇒(P∧P),¬(P∧P)
[条件2]のAをP∧Pとし、[条件2]のBをP∨Pとした、(P∧P)∧(P∨P),(P∧P)∨(P∨P),(P∧P)⇒(P∨P),¬(P∧P)
[条件2]のAをP∧Pとし、[条件2]のBをP⇒Pとした、(P∧P)∧(P⇒P),(P∧P)∨(P⇒P),(P∧P)⇒(P⇒P),¬(P∧P)
[条件2]のAをP∧Pとし、[条件2]のBを¬Pとした、(P∧P)∧(¬P),(P∧P)∨(¬P),(P∧P)⇒(¬P),¬(P∧P)
[条件2]のAをP∧Pとし、[条件2]のBをP∧Qとした、(P∧P)∧(P∧Q),(P∧P)∨(P∧Q),(P∧P)⇒(P∧Q),¬(P∧P)
[条件2]のAをP∧Pとし、[条件2]のBをP∨Qとした、(P∧P)∧(P∨Q),(P∧P)∨(P∨Q),(P∧P)⇒(P∨Q),¬(P∧P)
[条件2]のAをP∧Pとし、[条件2]のBをP⇒Qとした、(P∧P)∧(P⇒Q),(P∧P)∨(P⇒Q),(P∧P)⇒(P⇒Q),¬(P∧P)
[条件2]のAをP∧Pとし、[条件2]のBをQ∧Pとした、(P∧P)∧(Q∧P),(P∧P)∨(Q∧P),(P∧P)⇒(Q∧P),¬(P∧P)
[条件2]のAをP∧Pとし、[条件2]のBをQ∨Pとした、(P∧P)∧(Q∨P),(P∧P)∨(Q∨P),(P∧P)⇒(Q∨P),¬(P∧P)
[条件2]のAをP∧Pとし、[条件2]のBをQ⇒Pとした、(P∧P)∧(Q⇒P),(P∧P)∨(Q⇒P),(P∧P)⇒(Q⇒P),¬(P∧P)
[条件2]のAをP∧Pとし、[条件2]のBを¬Qとした、(P∧P)∧(¬Q),(P∧P)∨(¬Q),(P∧P)⇒(¬Q),¬(P∧P)
[条件2]のAをP∧Pとし、[条件2]のBをQ∧Qとした、(P∧P)∧(Q∧Q),(P∧P)∨(Q∧Q),(P∧P)⇒(Q∧Q),¬(P∧P)
[条件2]のAをP∧Pとし、[条件2]のBをQ∨Qとした、(P∧P)∧(Q∨Q),(P∧P)∨(Q∨Q),(P∧P)⇒(Q∨Q),¬(P∧P)
[条件2]のAをP∧Pとし、[条件2]のBをQ⇒Qとした、(P∧P)∧(Q⇒Q),(P∧P)∨(Q⇒Q),(P∧P)⇒(Q⇒Q),¬(P∧P)
[条件2]のAをP∨Pとし、[条件2]のBをPとした、(P∨P)∧P,(P∨P)∨P,(P∨P)⇒P,¬(P∨P)
[条件2]のAをP∨Pとし、[条件2]のBをQとした、(P∨P)∧Q,(P∨P)∨Q,(P∨P)⇒Q,¬(P∨P)
[条件2]のAをP∨Pとし、[条件2]のBをP∧Pとした、(P∨P)∧(P∧P),(P∨P)∨(P∧P),(P∨P)⇒(P∧P),¬(P∨P)
[条件2]のAをP∨Pとし、[条件2]のBをP∨Pとした、(P∨P)∧B,(P∨P)∨B,(P∨P)⇒B,¬(P∨P)
[条件2]のAをP∨Pとし、[条件2]のBをP⇒Pとした、(P∨P)∧(P⇒P),(P∨P)∨(P⇒P),(P∨P)⇒(P⇒P),¬(P∨P)
[条件2]のAをP∨Pとし、[条件2]のBを¬Pとした、(P∨P)∧(¬P),(P∨P)∨(¬P),(P∨P)⇒(¬P),¬(P∨P)
[条件2]のAをP∨Pとし、[条件2]のBをP∧Qとした、(P∨P)∧(P∧Q),(P∨P)∨(P∧Q),(P∨P)⇒(P∧Q),¬(P∨P)
[条件2]のAをP∨Pとし、[条件2]のBをP∨Qとした、(P∨P)∧(P∨Q),(P∨P)∨(P∨Q),(P∨P)⇒(P∨Q),¬(P∨P)
[条件2]のAをP∨Pとし、[条件2]のBをP⇒Qとした、(P∨P)∧(P⇒Q),(P∨P)∨(P⇒Q),(P∨P)⇒(P⇒Q),¬(P∨P)
[条件2]のAをP∨Pとし、[条件2]のBをQ∧Pとした、(P∨P)∧(Q∧P),(P∨P)∨(Q∧P),(P∨P)⇒(Q∧P),¬(P∨P)
[条件2]のAをP∨Pとし、[条件2]のBをQ∨Pとした、(P∨P)∧(Q∨P),(P∨P)∨(Q∨P),(P∨P)⇒(Q∨P),¬(P∨P)
[条件2]のAをP∨Pとし、[条件2]のBをQ⇒Pとした、(P∨P)∧(Q⇒P),(P∨P)∨(Q⇒P),(P∨P)⇒(Q⇒P),¬(P∨P)
[条件2]のAをP∨Pとし、[条件2]のBを¬Qとした、(P∨P)∧(¬Q),(P∨P)∨(¬Q),(P∨P)⇒(¬Q),¬(P∨P)
[条件2]のAをP∨Pとし、[条件2]のBをQ∧Qとした、(P∨P)∧(Q∧Q),(P∨P)∨(Q∧Q),(P∨P)⇒(Q∧Q),¬(P∨P)
[条件2]のAをP∨Pとし、[条件2]のBをQ∨Qとした、(P∨P)∧(Q∨Q),(P∨P)∨(Q∨Q),(P∨P)⇒(Q∨Q),¬(P∨P)
[条件2]のAをP∨Pとし、[条件2]のBをQ⇒Qとした、(P∨P)∧(Q⇒Q),(P∨P)∨(Q⇒Q),(P∨P)⇒(Q⇒Q),¬(P∨P)
[条件2]のAをP⇒Pとし、[条件2]のBをPとした、(P⇒P)∧P,(P⇒P)∨P,(P⇒P)⇒P,¬(P⇒P)
[条件2]のAをP⇒Pとし、[条件2]のBをQとした、(P⇒P)∧Q,(P⇒P)∨Q,(P⇒P)⇒Q,¬(P⇒P)
[条件2]のAをP⇒Pとし、[条件2]のBをP∧Pとした、(P⇒P)∧(P∧P),(P⇒P)∨(P∧P),(P⇒P)⇒(P∧P),¬(P⇒P)
[条件2]のAをP⇒Pとし、[条件2]のBをP∨Pとした、(P⇒P)∧(P∨P),(P⇒P)∨(P∨P),(P⇒P)⇒(P∨P),¬(P⇒P)
[条件2]のAをP⇒Pとし、[条件2]のBをP⇒Pとした、(P⇒P)∧(P⇒P),(P⇒P)∨(P⇒P),(P⇒P)⇒(P⇒P),¬(P⇒P)
[条件2]のAをP⇒Pとし、[条件2]のBを¬Pとした、(P⇒P)∧(¬P),(P⇒P)∨(¬P),(P⇒P)⇒(¬P),¬(P⇒P)
[条件2]のAをP⇒Pとし、[条件2]のBをP∧Qとした、(P⇒P)∧(P∧Q),(P⇒P)∨(P∧Q),(P⇒P)⇒(P∧Q),¬(P⇒P)
[条件2]のAをP⇒Pとし、[条件2]のBをP∨Qとした、(P⇒P)∧(P∨Q),(P⇒P)∨(P∨Q),(P⇒P)⇒(P∨Q),¬(P⇒P)
[条件2]のAをP⇒Pとし、[条件2]のBをP⇒Qとした、(P⇒P)∧(P⇒Q),(P⇒P)∨(P⇒Q),(P⇒P)⇒(P⇒Q),¬(P⇒P)
[条件2]のAをP⇒Pとし、[条件2]のBをQ∧Pとした、(P⇒P)∧(Q∧P),(P⇒P)∨(Q∧P),(P⇒P)⇒(Q∧P),¬(P⇒P)
[条件2]のAをP⇒Pとし、[条件2]のBをQ∨Pとした、(P⇒P)∧(Q∨P),(P⇒P)∨(Q∨P),(P⇒P)⇒(Q∨P),¬(P⇒P)
[条件2]のAをP⇒Pとし、[条件2]のBをQ⇒Pとした、(P⇒P)∧(Q⇒P),(P⇒P)∨(Q⇒P),(P⇒P)⇒(Q⇒P),¬(P⇒P)
[条件2]のAをP⇒Pとし、[条件2]のBを¬Qとした、(P⇒P)∧(¬Q),(P⇒P)∨(¬Q),(P⇒P)⇒(¬Q),¬(P⇒P)
[条件2]のAをP⇒Pとし、[条件2]のBをQ∧Qとした、(P⇒P)∧(Q∧Q),(P⇒P)∨(Q∧Q),(P⇒P)⇒(Q∧Q),¬(P⇒P)
[条件2]のAをP⇒Pとし、[条件2]のBをQ∨Qとした、(P⇒P)∧(Q∨Q),(P⇒P)∨(Q∨Q),(P⇒P)⇒(Q∨Q),¬(P⇒P)
[条件2]のAをP⇒Pとし、[条件2]のBをQ⇒Qとした、
(P⇒P)∧(Q⇒Q),(P⇒P)∨(Q⇒Q),(P⇒P)⇒(Q⇒Q),¬(P⇒P)
[条件2]のAを¬Pとし、[条件2]のBをPとした、(¬P)∧P,(¬P)∨P,(¬P)⇒P,¬(¬P)
[条件2]のAを¬Pとし、[条件2]のBをQとした、(¬P)∧Q,(¬P)∨Q,(¬P)⇒Q,¬(¬P)
[条件2]のAを¬Pとし、[条件2]のBをP∧Pとした、(¬P)∧(P∧P),(¬P)∨(P∧P),(¬P)⇒(P∧P),¬(¬P)
[条件2]のAを¬Pとし、[条件2]のBをP∨Pとした、(¬P)∧(P∨P),(¬P)∨(P∨P),(¬P)⇒(P∨P),¬(¬P)
[条件2]のAを¬Pとし、[条件2]のBをP⇒Pとした、(¬P)∧(P⇒P),(¬P)∨(P⇒P),(¬P)⇒(P⇒P),¬(¬P)
[条件2]のAを¬Pとし、[条件2]のBを¬Pとした、(¬P)∧(¬P),(¬P)∨(¬P),(¬P)⇒(¬P),¬(¬P)
[条件2]のAを¬Pとし、[条件2]のBをP∧Qとした、(¬P)∧(P∧Q),(¬P)∨(P∧Q),(¬P)⇒(P∧Q),¬(¬P)
[条件2]のAを¬Pとし、[条件2]のBをP∨Qとした、(¬P)∧(P∨Q),(¬P)∨(P∨Q),(¬P)⇒(P∨Q),¬(¬P)
[条件2]のAを¬Pとし、[条件2]のBをP⇒Qとした、(¬P)∧(P⇒Q),(¬P)∨(P⇒Q),(¬P)⇒(P⇒Q),¬(¬P)
[条件2]のAを¬Pとし、[条件2]のBをQ∧Pとした、(¬P)∧(Q∧P),(¬P)∨(Q∧P),(¬P)⇒(Q∧P),¬(¬P)
[条件2]のAを¬Pとし、[条件2]のBをQ∨Pとした、(¬P)∧(Q∨P),(¬P)∨(Q∨P),(¬P)⇒(Q∨P),¬(¬P)
[条件2]のAを¬Pとし、[条件2]のBをQ⇒Pとした、(¬P)∧(Q⇒P),(¬P)∨(Q⇒P),(¬P)⇒(Q⇒P),¬(¬P)
[条件2]のAを¬Pとし、[条件2]のBを¬Qとした、(¬P)∧(¬Q),(¬P)∨(¬Q),(¬P)⇒(¬Q),¬(¬P)
[条件2]のAを¬Pとし、[条件2]のBをQ∧Qとした、(¬P)∧(Q∧Q),(¬P)∨(Q∧Q),(¬P)⇒(Q∧Q),¬(¬P)
[条件2]のAを¬Pとし、[条件2]のBをQ∨Qとした、(¬P)∧(Q∨Q),(¬P)∨(Q∨Q),(¬P)⇒(Q∨Q),¬(¬P)
[条件2]のAを¬Pとし、[条件2]のBをQ⇒Qとした、 (¬P)∧(Q⇒Q),(¬P)∨(Q⇒Q),(¬P)⇒(Q⇒Q),¬(¬P)
[条件2]のAをP∧Qとし、[条件2]のBをPとした、(P∧Q)∧P,(P∧Q)∨P,(P∧Q)⇒P,¬(P∧Q)
[条件2]のAをP∧Qとし、[条件2]のBをQとした、(P∧Q)∧Q,(P∧Q)∨Q,(P∧Q)⇒Q,¬(P∧Q)
[条件2]のAをP∧Qとし、[条件2]のBをP∧Pとした、(P∧Q)∧(P∧P),(P∧Q)∨(P∧P),(P∧Q)⇒(P∧P),¬(P∧Q)
[条件2]のAをP∧Qとし、[条件2]のBをP∨Pとした、(P∧Q)∧(P∨P),(P∧Q)∨(P∨P),(P∧Q)⇒(P∨P),¬(P∧Q)
[条件2]のAをP∧Qとし、[条件2]のBをP⇒Pとした、(P∧Q)∧(P⇒P),(P∧Q)∨(P⇒P),(P∧Q)⇒(P⇒P),¬(P∧Q)
[条件2]のAをP∧Qとし、[条件2]のBを¬Pとした、(P∧Q)∧(¬P),(P∧Q)∨(¬P),(P∧Q)⇒(¬P),¬(P∧Q)
[条件2]のAをP∧Qとし、[条件2]のBをP∧Qとした、(P∧Q)∧(P∧Q),(P∧Q)∨(P∧Q),(P∧Q)⇒(P∧Q),¬(P∧Q)
[条件2]のAをP∧Qとし、[条件2]のBをP∨Qとした、(P∧Q)∧(P∨Q),(P∧Q)∨(P∨Q),(P∧Q)⇒(P∨Q),¬(P∧Q)
[条件2]のAをP∧Qとし、[条件2]のBをP⇒Qとした、(P∧Q)∧(P⇒Q),(P∧Q)∨(P⇒Q),(P∧Q)⇒(P⇒Q),¬(P∧Q)
[条件2]のAをP∧Qとし、[条件2]のBをQ∧Pとした、(P∧Q)∧(Q∧P),(P∧Q)∨(Q∧P),(P∧Q)⇒(Q∧P),¬(P∧Q)
[条件2]のAをP∧Qとし、[条件2]のBをQ∨Pとした、(P∧Q)∧(Q∨P),(P∧Q)∨(Q∨P),(P∧Q)⇒(Q∨P),¬(P∧Q)
[条件2]のAをP∧Qとし、[条件2]のBをQ⇒Pとした、(P∧Q)∧(Q⇒P),(P∧Q)∨(Q⇒P),(P∧Q)⇒(Q⇒P),¬(P∧Q)
[条件2]のAをP∧Qとし、[条件2]のBを¬Qとした、(P∧Q)∧(¬Q),(P∧Q)∨(¬Q),(P∧Q)⇒(¬Q),¬(P∧Q)
[条件2]のAをP∧Qとし、[条件2]のBをQ∧Qとした、(P∧Q)∧(Q∧Q),(P∧Q)∨(Q∧Q),(P∧Q)⇒(Q∧Q),¬(P∧Q)
[条件2]のAをP∧Qとし、[条件2]のBをQ∨Qとした、(P∧Q)∧(Q∨Q),(P∧Q)∨(Q∨Q),(P∧Q)⇒(Q∨Q),¬(P∧Q)
[条件2]のAをP∧Qとし、[条件2]のBをQ⇒Qとした、(P∧Q)∧(Q⇒Q),(P∧Q)∨(Q⇒Q),(P∧Q)⇒(Q⇒Q),¬(P∧Q)
[条件2]のAをP∨Qとし、[条件2]のBをPとした、(P∨Q)∧P,(P∨Q)∨P,(P∨Q)⇒P,¬(P∨Q)
[条件2]のAをP∨Qとし、[条件2]のBをQとした、(P∨Q)∧Q,(P∨Q)∨Q,(P∨Q)⇒Q,¬(P∨Q)
[条件2]のAをP∨Qとし、[条件2]のBをP∧Pとした、(P∨Q)∧(P∧P),(P∨Q)∨(P∧P),(P∨Q)⇒(P∧P),¬(P∨Q)
[条件2]のAをP∨Qとし、[条件2]のBをP∨Pとした、(P∨Q)∧(P∨P),(P∨Q)∨(P∨P),(P∨Q)⇒(P∨P),¬(P∨Q)
[条件2]のAをP∨Qとし、[条件2]のBをP⇒Pとした、(P∨Q)∧(P⇒P),(P∨Q)∨(P⇒P),(P∨Q)⇒(P⇒P),¬(P∨Q)
[条件2]のAをP∨Qとし、[条件2]のBを¬Pとした、(P∨Q)∧(¬P),(P∨Q)∨(¬P),(P∨Q)⇒(¬P),¬(P∨Q)
[条件2]のAをP∨Qとし、[条件2]のBをP∧Qとした、(P∨Q)∧(P∧Q),(P∨Q)∨(P∧Q),(P∨Q)⇒(P∧Q),¬(P∨Q)
[条件2]のAをP∨Qとし、[条件2]のBをP∨Qとした、(P∨Q)∧(P∨Q),(P∨Q)∨(P∨Q),(P∨Q)⇒(P∨Q),¬(P∨Q)
[条件2]のAをP∨Qとし、[条件2]のBをP⇒Qとした、(P∨Q)∧(P⇒Q),(P∨Q)∨(P⇒Q),(P∨Q)⇒(P⇒Q),¬(P∨Q)
[条件2]のAをP∨Qとし、[条件2]のBをQ∧Pとした、(P∨Q)∧(Q∧P),(P∨Q)∨(Q∧P),(P∨Q)⇒(Q∧P),¬(P∨Q)
[条件2]のAをP∨Qとし、[条件2]のBをQ∨Pとした、(P∨Q)∧(Q∨P),(P∨Q)∨(Q∨P),(P∨Q)⇒(Q∨P),¬(P∨Q)
[条件2]のAをP∨Qとし、[条件2]のBをQ⇒Pとした、(P∨Q)∧(Q⇒P),(P∨Q)∨(Q⇒P),(P∨Q)⇒(Q⇒P),¬(P∨Q)
[条件2]のAをP∨Qとし、[条件2]のBを¬Qとした、(P∨Q)∧(¬Q),(P∨Q)∨(¬Q),(P∨Q)⇒(¬Q),¬(P∨Q)
[条件2]のAをP∨Qとし、[条件2]のBをQ∧Qとした、(P∨Q)∧(Q∧Q),(P∨Q)∨(Q∧Q),(P∨Q)⇒(Q∧Q),¬(P∨Q)
[条件2]のAをP∨Qとし、[条件2]のBをQ∨Qとした、(P∨Q)∧(Q∨Q),(P∨Q)∨(Q∨Q),(P∨Q)⇒(Q∨Q),¬(P∨Q)
[条件2]のAをP∨Qとし、[条件2]のBをQ⇒Qとした、(P∨Q)∧(Q⇒Q),(P∨Q)∨(Q⇒Q),(P∨Q)⇒(Q⇒Q),¬(P∨Q)
[条件2]のAをP⇒Qとし、[条件2]のBをPとした、(P⇒Q)∧P,(P⇒Q)∨P,(P⇒Q)⇒P,¬(P⇒Q)
[条件2]のAをP⇒Qとし、[条件2]のBをQとした、(P⇒Q)∧Q,(P⇒Q)∨Q,(P⇒Q)⇒Q,¬(P⇒Q)
[条件2]のAをP⇒Qとし、[条件2]のBをP∧Pとした、(P⇒Q)∧(P∧P),(P⇒Q)∨(P∧P),(P⇒Q)⇒(P∧P),¬(P⇒Q)
[条件2]のAをP⇒Qとし、[条件2]のBをP∨Pとした、(P⇒Q)∧(P∨P),(P⇒Q)∨(P∨P),(P⇒Q)⇒(P∨P),¬(P⇒Q)
[条件2]のAをP⇒Qとし、[条件2]のBをP⇒Pとした、(P⇒Q)∧(P⇒P),(P⇒Q)∨(P⇒P),(P⇒Q)⇒(P⇒P),¬(P⇒Q)
[条件2]のAをP⇒Qとし、[条件2]のBを¬Pとした、(P⇒Q)∧(¬P),(P⇒Q)∨(¬P),(P⇒Q)⇒(¬P),¬(P⇒Q)
[条件2]のAをP⇒Qとし、[条件2]のBをP∧Qとした、(P⇒Q)∧(P∧Q),(P⇒Q)∨(P∧Q),(P⇒Q)⇒(P∧Q),¬(P⇒Q)
[条件2]のAをP⇒Qとし、[条件2]のBをP∨Qとした、(P⇒Q)∧(P∨Q),(P⇒Q)∨(P∨Q),(P⇒Q)⇒(P∨Q),¬(P⇒Q)
[条件2]のAをP⇒Qとし、[条件2]のBをP⇒Qとした、(P⇒Q)∧(P⇒Q),(P⇒Q)∨(P⇒Q),(P⇒Q)⇒(P⇒Q),¬(P⇒Q)
[条件2]のAをP⇒Qとし、[条件2]のBをQ∧Pとした、(P⇒Q)∧(Q∧P),(P⇒Q)∨(Q∧P),(P⇒Q)⇒(Q∧P),¬(P⇒Q)
[条件2]のAをP⇒Qとし、[条件2]のBをQ∨Pとした、(P⇒Q)∧(Q∨P),(P⇒Q)∨(Q∨P),(P⇒Q)⇒(Q∨P),¬(P⇒Q)
[条件2]のAをP⇒Qとし、[条件2]のBをQ⇒Pとした、(P⇒Q)∧(Q⇒P),(P⇒Q)∨(Q⇒P),(P⇒Q)⇒(Q⇒P),¬(P⇒Q)
[条件2]のAをP⇒Qとし、[条件2]のBを¬Qとした、(P⇒Q)∧(¬Q),(P⇒Q)∨(¬Q),(P⇒Q)⇒(¬Q),¬(P⇒Q)
[条件2]のAをP⇒Qとし、[条件2]のBをQ∧Qとした、(P⇒Q)∧(Q∧Q),(P⇒Q)∨(Q∧Q),(P⇒Q)⇒(Q∧Q),¬(P⇒Q)
[条件2]のAをP⇒Qとし、[条件2]のBをQ∨Qとした、(P⇒Q)∧(Q∨Q),(P⇒Q)∨(Q∨Q),(P⇒Q)⇒(Q∨Q),¬(P⇒Q)
[条件2]のAをP⇒Qとし、[条件2]のBをQ⇒Qとした、(P⇒Q)∧(Q⇒Q),(P⇒Q)∨(Q⇒Q),(P⇒Q)⇒(Q⇒Q),¬(P⇒Q)
[条件2]のAをQ∧Pとし、[条件2]のBをPとした、(Q∧P)∧P,(Q∧P)∨P,(Q∧P)⇒P,¬(Q∧P)
[条件2]のAをQ∧Pとし、[条件2]のBをQとした、(Q∧P)∧Q,(Q∧P)∨Q,(Q∧P)⇒Q,¬(Q∧P)
[条件2]のAをQ∧Pとし、[条件2]のBをP∧Pとした、(Q∧P)∧(P∧P),(Q∧P)∨(P∧P),(Q∧P)⇒(P∧P),¬(Q∧P)
[条件2]のAをQ∧Pとし、[条件2]のBをP∨Pとした、(Q∧P)∧(P∨P),(Q∧P)∨(P∨P),(Q∧P)⇒(P∨P),¬(Q∧P)
[条件2]のAをQ∧Pとし、[条件2]のBをP⇒Pとした、(Q∧P)∧(P⇒P),(Q∧P)∨(P⇒P),(Q∧P)⇒(P⇒P),¬(Q∧P)
[条件2]のAをQ∧Pとし、[条件2]のBを¬Pとした、(Q∧P)∧(¬P),(Q∧P)∨(¬P),(Q∧P)⇒(¬P),¬(Q∧P)
[条件2]のAをQ∧Pとし、[条件2]のBをP∧Qとした、(Q∧P)∧(P∧Q),(Q∧P)∨(P∧Q),(Q∧P)⇒(P∧Q),¬(Q∧P)
[条件2]のAをQ∧Pとし、[条件2]のBをP∨Qとした、(Q∧P)∧(P∨Q),(Q∧P)∨(P∨Q),(Q∧P)⇒(P∨Q),¬(Q∧P)
[条件2]のAをQ∧Pとし、[条件2]のBをP⇒Qとした、(Q∧P)∧(P⇒Q),(Q∧P)∨(P⇒Q),(Q∧P)⇒(P⇒Q),¬(Q∧P)
[条件2]のAをQ∧Pとし、[条件2]のBをQ∧Pとした、(Q∧P)∧(Q∧P),(Q∧P)∨(Q∧P),(Q∧P)⇒(Q∧P),¬(Q∧P)
[条件2]のAをQ∧Pとし、[条件2]のBをQ∨Pとした、(Q∧P)∧(Q∨P),(Q∧P)∨(Q∨P),(Q∧P)⇒(Q∨P),¬(Q∧P)
[条件2]のAをQ∧Pとし、[条件2]のBをQ⇒Pとした、(Q∧P)∧(Q⇒P),(Q∧P)∨(Q⇒P),(Q∧P)⇒(Q⇒P),¬(Q∧P)
[条件2]のAをQ∧Pとし、[条件2]のBを¬Qとした、(Q∧P)∧(¬Q),(Q∧P)∨(¬Q),(Q∧P)⇒(¬Q),¬(Q∧P)
[条件2]のAをQ∧Pとし、[条件2]のBをQ∧Qとした、(Q∧P)∧(Q∧Q),(Q∧P)∨(Q∧Q),(Q∧P)⇒(Q∧Q),¬(Q∧P)
[条件2]のAをQ∧Pとし、[条件2]のBをQ∨Qとした、(Q∧P)∧(Q∨Q),(Q∧P)∨(Q∨Q),(Q∧P)⇒(Q∨Q),¬(Q∧P)
[条件2]のAをQ∧Pとし、[条件2]のBをQ⇒Qとした、 (Q∧P)∧(Q⇒Q),(Q∧P)∨(Q⇒Q),(Q∧P)⇒(Q⇒Q),¬(Q∧P)
[条件2]のAをQ∨Pとし、[条件2]のBをPとした、(Q∨P)∧P,(Q∨P)∨P,(Q∨P)⇒P,¬(Q∨P)
[条件2]のAをQ∨Pとし、[条件2]のBをQとした、(Q∨P)∧Q,(Q∨P)∨Q,(Q∨P)⇒Q,¬(Q∨P)
[条件2]のAをQ∨Pとし、[条件2]のBをP∧Pとした、(Q∨P)∧(P∧P),(Q∨P)∨(P∧P),(Q∨P)⇒(P∧P),¬(Q∨P)
[条件2]のAをQ∨Pとし、[条件2]のBをP∨Pとした、(Q∨P)∧(P∨P),(Q∨P)∨(P∨P),(Q∨P)⇒(P∨P),¬(Q∨P)
[条件2]のAをQ∨Pとし、[条件2]のBをP⇒Pとした、(Q∨P)∧(P⇒P),(Q∨P)∨(P⇒P),(Q∨P)⇒(P⇒P),¬(Q∨P)
[条件2]のAをQ∨Pとし、[条件2]のBを¬Pとした、(Q∨P)∧(¬P),(Q∨P)∨(¬P),(Q∨P)⇒(¬P),¬(Q∨P)
[条件2]のAをQ∨Pとし、[条件2]のBをP∧Qとした、(Q∨P)∧(P∧Q),(Q∨P)∨(P∧Q),(Q∨P)⇒(P∧Q),¬(Q∨P)
[条件2]のAをQ∨Pとし、[条件2]のBをP∨Qとした、(Q∨P)∧(P∨Q),(Q∨P)∨(P∨Q),(Q∨P)⇒(P∨Q),¬(Q∨P)
[条件2]のAをQ∨Pとし、[条件2]のBをP⇒Qとした、(Q∨P)∧(P⇒Q),(Q∨P)∨(P⇒Q),(Q∨P)⇒(P⇒Q),¬(Q∨P)
[条件2]のAをQ∨Pとし、[条件2]のBをQ∧Pとした、(Q∨P)∧(Q∧P),(Q∨P)∨(Q∧P),(Q∨P)⇒(Q∧P),¬(Q∨P)
[条件2]のAをQ∨Pとし、[条件2]のBをQ∨Pとした、(Q∨P)∧(Q∨P),(Q∨P)∨(Q∨P),(Q∨P)⇒(Q∨P),¬(Q∨P)
[条件2]のAをQ∨Pとし、[条件2]のBをQ⇒Pとした、(Q∨P)∧(Q⇒P),(Q∨P)∨(Q⇒P),(Q∨P)⇒(Q⇒P),¬(Q∨P)
[条件2]のAをQ∨Pとし、[条件2]のBを¬Qとした、(Q∨P)∧(¬Q),(Q∨P)∨(¬Q),(Q∨P)⇒(¬Q),¬(Q∨P)
[条件2]のAをQ∨Pとし、[条件2]のBをQ∧Qとした、(Q∨P)∧(Q∧Q),(Q∨P)∨(Q∧Q),(Q∨P)⇒(Q∧Q),¬(Q∨P)
[条件2]のAをQ∨Pとし、[条件2]のBをQ∨Qとした、(Q∨P)∧(Q∨Q),(Q∨P)∨(Q∨Q),(Q∨P)⇒(Q∨Q),¬(Q∨P)
[条件2]のAをQ∨Pとし、[条件2]のBをQ⇒Qとした、(Q∨P)∧(Q⇒Q),(Q∨P)∨(Q⇒Q),(Q∨P)⇒(Q⇒Q),¬(Q∨P)
[条件2]のAをQ⇒Pとし、[条件2]のBをPとした、(Q⇒P)∧P,(Q⇒P)∨P,(Q⇒P)⇒P,¬(Q⇒P)
[条件2]のAをQ⇒Pとし、[条件2]のBをQとした、(Q⇒P)∧Q,(Q⇒P)∨Q,(Q⇒P)⇒Q,¬(Q⇒P)
[条件2]のAをQ⇒Pとし、[条件2]のBをP∧Pとした、(Q⇒P)∧(P∧P),(Q⇒P)∨(P∧P),(Q⇒P)⇒(P∧P),¬(Q⇒P)
[条件2]のAをQ⇒Pとし、[条件2]のBをP∨Pとした、(Q⇒P)∧(P∨P),(Q⇒P)∨(P∨P),(Q⇒P)⇒(P∨P),¬(Q⇒P)
[条件2]のAをQ⇒Pとし、[条件2]のBをP⇒Pとした、(Q⇒P)∧(P⇒P),(Q⇒P)∨(P⇒P),(Q⇒P)⇒(P⇒P),¬(Q⇒P)
[条件2]のAをQ⇒Pとし、[条件2]のBを¬Pとした、(Q⇒P)∧(¬P),(Q⇒P)∨(¬P),(Q⇒P)⇒(¬P),¬(Q⇒P)
[条件2]のAをQ⇒Pとし、[条件2]のBをP∧Qとした、(Q⇒P)∧(P∧Q),(Q⇒P)∨(P∧Q),(Q⇒P)⇒(P∧Q),¬(Q⇒P)
[条件2]のAをQ⇒Pとし、[条件2]のBをP∨Qとした、(Q⇒P)∧(P∨Q),(Q⇒P)∨(P∨Q),(Q⇒P)⇒(P∨Q),¬(Q⇒P)
[条件2]のAをQ⇒Pとし、[条件2]のBをP⇒Qとした、(Q⇒P)∧(P⇒Q),(Q⇒P)∨(P⇒Q),(Q⇒P)⇒(P⇒Q),¬(Q⇒P)
[条件2]のAをQ⇒Pとし、[条件2]のBをQ∧Pとした、(Q⇒P)∧(Q∧P),(Q⇒P)∨(Q∧P),(Q⇒P)⇒(Q∧P),¬(Q⇒P)
[条件2]のAをQ⇒Pとし、[条件2]のBをQ∨Pとした、(Q⇒P)∧(Q∨P),(Q⇒P)∨(Q∨P),(Q⇒P)⇒(Q∨P),¬(Q⇒P)
[条件2]のAをQ⇒Pとし、[条件2]のBをQ⇒Pとした、(Q⇒P)∧(Q⇒P),(Q⇒P)∨(Q⇒P),(Q⇒P)⇒(Q⇒P),¬(Q⇒P)
[条件2]のAをQ⇒Pとし、[条件2]のBを¬Qとした、(Q⇒P)∧(¬Q),(Q⇒P)∨(¬Q),(Q⇒P)⇒(¬Q),¬(Q⇒P)
[条件2]のAをQ⇒Pとし、[条件2]のBをQ∧Qとした、(Q⇒P)∧(Q∧Q),(Q⇒P)∨(Q∧Q),(Q⇒P)⇒(Q∧Q),¬(Q⇒P)
[条件2]のAをQ⇒Pとし、[条件2]のBをQ∨Qとした、(Q⇒P)∧(Q∨Q),(Q⇒P)∨(Q∨Q),(Q⇒P)⇒(Q∨Q),¬(Q⇒P)
[条件2]のAをQ⇒Pとし、[条件2]のBをQ⇒Qとした、 (Q⇒P)∧(Q⇒Q),(Q⇒P)∨(Q⇒Q),(Q⇒P)⇒(Q⇒Q),¬(Q⇒P)
[条件2]のAを¬Qとし、[条件2]のBをPとした、(¬Q)∧P,(¬Q)∨P,(¬Q)⇒P,¬(¬Q)
[条件2]のAを¬Qとし、[条件2]のBをQとした、(¬Q)∧Q,(¬Q)∨Q,(¬Q)⇒Q,¬(¬Q)
[条件2]のAを¬Qとし、[条件2]のBをP∧Pとした、(¬Q)∧(P∧P),(¬Q)∨(P∧P),(¬Q)⇒(P∧P),¬(¬Q)
[条件2]のAを¬Qとし、[条件2]のBをP∨Pとした、(¬Q)∧(P∨P),(¬Q)∨(P∨P),(¬Q)⇒(P∨P),¬(¬Q)
[条件2]のAを¬Qとし、[条件2]のBをP⇒Pとした、(¬Q)∧(P⇒P),(¬Q)∨(P⇒P),(¬Q)⇒(P⇒P),¬(¬Q)
[条件2]のAを¬Qとし、[条件2]のBを¬Pとした、(¬Q)∧(¬P),(¬Q)∨(¬P),(¬Q)⇒(¬P),¬(¬Q)
[条件2]のAを¬Qとし、[条件2]のBをP∧Qとした、(¬Q)∧(P∧Q),(¬Q)∨(P∧Q),(¬Q)⇒(P∧Q),¬(¬Q)
[条件2]のAを¬Qとし、[条件2]のBをP∨Qとした、(¬Q)∧(P∨Q),(¬Q)∨(P∨Q),(¬Q)⇒(P∨Q),¬(¬Q)
[条件2]のAを¬Qとし、[条件2]のBをP⇒Qとした、(¬Q)∧(P⇒Q),(¬Q)∨(P⇒Q),(¬Q)⇒(P⇒Q),¬(¬Q)
[条件2]のAを¬Qとし、[条件2]のBをQ∧Pとした、(¬Q)∧(Q∧P),(¬Q)∨(Q∧P),(¬Q)⇒(Q∧P),¬(¬Q)
[条件2]のAを¬Qとし、[条件2]のBをQ∨Pとした、(¬Q)∧(Q∨P),(¬Q)∨(Q∨P),(¬Q)⇒(Q∨P),¬(¬Q)
[条件2]のAを¬Qとし、[条件2]のBをQ⇒Pとした、(¬Q)∧(Q⇒P),(¬Q)∨(Q⇒P),(¬Q)⇒(Q⇒P),¬(¬Q)
[条件2]のAを¬Qとし、[条件2]のBを¬Qとした、(¬Q)∧(¬Q),(¬Q)∨(¬Q),(¬Q)⇒(¬Q),¬(¬Q)
[条件2]のAを¬Qとし、[条件2]のBをQ∧Qとした、(¬Q)∧(Q∧Q),(¬Q)∨(Q∧Q),(¬Q)⇒(Q∧Q),¬(¬Q)
[条件2]のAを¬Qとし、[条件2]のBをQ∨Qとした、(¬Q)∧(Q∨Q),(¬Q)∨(Q∨Q),(¬Q)⇒(Q∨Q),¬(¬Q)
[条件2]のAを¬Qとし、[条件2]のBをQ⇒Qとした、 (¬Q)∧(Q⇒Q),(¬Q)∨(Q⇒Q),(¬Q)⇒(Q⇒Q),¬(¬Q)
[条件2]のAをQ∧Qとし、[条件2]のBをPとした、(Q∧Q)∧P,(Q∧Q)∨P,(Q∧Q)⇒P,¬(Q∧Q)
[条件2]のAをQ∧Qとし、[条件2]のBをQとした、(Q∧Q)∧Q,(Q∧Q)∨Q,(Q∧Q)⇒Q,¬(Q∧Q)
[条件2]のAをQ∧Qとし、[条件2]のBをP∧Pとした、(Q∧Q)∧(P∧P),(Q∧Q)∨(P∧P),(Q∧Q)⇒(P∧P),¬(Q∧Q)
[条件2]のAをQ∧Qとし、[条件2]のBをP∨Pとした、(Q∧Q)∧(P∨P),(Q∧Q)∨(P∨P),(Q∧Q)⇒(P∨P),¬(Q∧Q)
[条件2]のAをQ∧Qとし、[条件2]のBをP⇒Pとした、(Q∧Q)∧(P⇒P),(Q∧Q)∨(P⇒P),(Q∧Q)⇒(P⇒P),¬(Q∧Q)
[条件2]のAをQ∧Qとし、[条件2]のBを¬Pとした、(Q∧Q)∧(¬P),(Q∧Q)∨(¬P),(Q∧Q)⇒(¬P),¬(Q∧Q)
[条件2]のAをQ∧Qとし、[条件2]のBをP∧Qとした、(Q∧Q)∧(P∧Q),(Q∧Q)∨(P∧Q),(Q∧Q)⇒(P∧Q),¬(Q∧Q)
[条件2]のAをQ∧Qとし、[条件2]のBをP∨Qとした、(Q∧Q)∧(P∨Q),(Q∧Q)∨(P∨Q),(Q∧Q)⇒(P∨Q),¬(Q∧Q)
[条件2]のAをQ∧Qとし、[条件2]のBをP⇒Qとした、(Q∧Q)∧(P⇒Q),(Q∧Q)∨(P⇒Q),(Q∧Q)⇒(P⇒Q),¬(Q∧Q)
[条件2]のAをQ∧Qとし、[条件2]のBをQ∧Pとした、(Q∧Q)∧(Q∧P),(Q∧Q)∨(Q∧P),(Q∧Q)⇒(Q∧P),¬(Q∧Q)
[条件2]のAをQ∧Qとし、[条件2]のBをQ∨Pとした、(Q∧Q)∧(Q∨P),(Q∧Q)∨(Q∨P),(Q∧Q)⇒(Q∨P),¬(Q∧Q)
[条件2]のAをQ∧Qとし、[条件2]のBをQ⇒Pとした、(Q∧Q)∧(Q⇒P),(Q∧Q)∨(Q⇒P),(Q∧Q)⇒(Q⇒P),¬(Q∧Q)
[条件2]のAをQ∧Qとし、[条件2]のBを¬Qとした、(Q∧Q)∧(¬Q),(Q∧Q)∨(¬Q),(Q∧Q)⇒(¬Q),¬(Q∧Q)
[条件2]のAをQ∧Qとし、[条件2]のBをQ∧Qとした、(Q∧Q)∧(Q∧Q),(Q∧Q)∨(Q∧Q),(Q∧Q)⇒(Q∧Q),¬(Q∧Q)
[条件2]のAをQ∧Qとし、[条件2]のBをQ∨Qとした、(Q∧Q)∧(Q∨Q),(Q∧Q)∨(Q∨Q),(Q∧Q)⇒(Q∨Q),¬(Q∧Q)
[条件2]のAをQ∧Qとし、[条件2]のBをQ⇒Qとした、(Q∧Q)∧(Q⇒Q),(Q∧Q)∨(Q⇒Q),(Q∧Q)⇒(Q⇒Q),¬(Q∧Q)
[条件2]のAをQ∨Qとし、[条件2]のBをPとした、(Q∨Q)∧P,(Q∨Q)∨P,(Q∨Q)⇒P,¬(Q∨Q)
[条件2]のAをQ∨Qとし、[条件2]のBをQとした、(Q∨Q)∧Q,(Q∨Q)∨Q,(Q∨Q)⇒Q,¬(Q∨Q)
[条件2]のAをQ∨Qとし、[条件2]のBをP∧Pとした、(Q∨Q)∧(P∧P),(Q∨Q)∨(P∧P),(Q∨Q)⇒(P∧P),¬(Q∨Q)
[条件2]のAをQ∨Qとし、[条件2]のBをP∨Pとした、(Q∨Q)∧(P∨P),(Q∨Q)∨(P∨P),(Q∨Q)⇒(P∨P),¬(Q∨Q)
[条件2]のAをQ∨Qとし、[条件2]のBをP⇒Pとした、(Q∨Q)∧(P⇒P),(Q∨Q)∨(P⇒P),(Q∨Q)⇒(P⇒P),¬(Q∨Q)
[条件2]のAをQ∨Qとし、[条件2]のBを¬Pとした、(Q∨Q)∧(¬P),(Q∨Q)∨(¬P),(Q∨Q)⇒(¬P),¬(Q∨Q)
[条件2]のAをQ∨Qとし、[条件2]のBをP∧Qとした、(Q∨Q)∧(P∧Q),(Q∨Q)∨(P∧Q),(Q∨Q)⇒(P∧Q),¬(Q∨Q)
[条件2]のAをQ∨Qとし、[条件2]のBをP∨Qとした、(Q∨Q)∧(P∨Q),(Q∨Q)∨(P∨Q),(Q∨Q)⇒(P∨Q),¬(Q∨Q)
[条件2]のAをQ∨Qとし、[条件2]のBをP⇒Qとした、(Q∨Q)∧(P⇒Q),(Q∨Q)∨(P⇒Q),(Q∨Q)⇒(P⇒Q),¬(Q∨Q)
[条件2]のAをQ∨Qとし、[条件2]のBをQ∧Pとした、(Q∨Q)∧(Q∧P),(Q∨Q)∨(Q∧P),(Q∨Q)⇒(Q∧P),¬(Q∨Q)
[条件2]のAをQ∨Qとし、[条件2]のBをQ∨Pとした、(Q∨Q)∧(Q∨P),(Q∨Q)∨(Q∨P),(Q∨Q)⇒(Q∨P),¬(Q∨Q)
[条件2]のAをQ∨Qとし、[条件2]のBをQ⇒Pとした、(Q∨Q)∧(Q⇒P),(Q∨Q)∨(Q⇒P),(Q∨Q)⇒(Q⇒P),¬(Q∨Q)
[条件2]のAをQ∨Qとし、[条件2]のBを¬Qとした、(Q∨Q)∧(¬Q),(Q∨Q)∨(¬Q),(Q∨Q)⇒(¬Q),¬(Q∨Q)
[条件2]のAをQ∨Qとし、[条件2]のBをQ∧Qとした、(Q∨Q)∧(Q∧Q),(Q∨Q)∨(Q∧Q),(Q∨Q)⇒(Q∧Q),¬(Q∨Q)
[条件2]のAをQ∨Qとし、[条件2]のBをQ∨Qとした、(Q∨Q)∧(Q∨Q),(Q∨Q)∨(Q∨Q),(Q∨Q)⇒(Q∨Q),¬(Q∨Q)
[条件2]のAをQ∨Qとし、[条件2]のBをQ⇒Qとした、(Q∨Q)∧(Q⇒Q),(Q∨Q)∨(Q⇒Q),(Q∨Q)⇒(Q⇒Q),¬(Q∨Q)
[条件2]のAをQ⇒Qとし、[条件2]のBをPとした、(Q⇒Q)∧P,(Q⇒Q)∨P,(Q⇒Q)⇒P,¬(Q⇒Q)
[条件2]のAをQ⇒Qとし、[条件2]のBをQとした、(Q⇒Q)∧Q,(Q⇒Q)∨Q,(Q⇒Q)⇒Q,¬(Q⇒Q)
[条件2]のAをQ⇒Qとし、[条件2]のBをP∧Pとした、(Q⇒Q)∧(P∧P),(Q⇒Q)∨(P∧P),(Q⇒Q)⇒(P∧P),¬(Q⇒Q)
[条件2]のAをQ⇒Qとし、[条件2]のBをP∨Pとした、(Q⇒Q)∧(P∨P),(Q⇒Q)∨(P∨P),(Q⇒Q)⇒(P∨P),¬(Q⇒Q)
[条件2]のAをQ⇒Qとし、[条件2]のBをP⇒Pとした、(Q⇒Q)∧(P⇒P),(Q⇒Q)∨(P⇒P),(Q⇒Q)⇒(P⇒P),¬(Q⇒Q)
[条件2]のAをQ⇒Qとし、[条件2]のBを¬Pとした、(Q⇒Q)∧(¬P),(Q⇒Q)∨(¬P),(Q⇒Q)⇒(¬P),¬(Q⇒Q)
[条件2]のAをQ⇒Qとし、[条件2]のBをP∧Qとした、(Q⇒Q)∧(P∧Q),(Q⇒Q)∨(P∧Q),(Q⇒Q)⇒(P∧Q),¬(Q⇒Q)
[条件2]のAをQ⇒Qとし、[条件2]のBをP∨Qとした、(Q⇒Q)∧(P∨Q),(Q⇒Q)∨(P∨Q),(Q⇒Q)⇒(P∨Q),¬(Q⇒Q)
[条件2]のAをQ⇒Qとし、[条件2]のBをP⇒Qとした、(Q⇒Q)∧(P⇒Q),(Q⇒Q)∨(P⇒Q),(Q⇒Q)⇒(P⇒Q),¬(Q⇒Q)
[条件2]のAをQ⇒Qとし、[条件2]のBをQ∧Pとした、(Q⇒Q)∧(Q∧P),(Q⇒Q)∨(Q∧P),(Q⇒Q)⇒(Q∧P),¬(Q⇒Q)
[条件2]のAをQ⇒Qとし、[条件2]のBをQ∨Pとした、(Q⇒Q)∧(Q∨P),(Q⇒Q)∨(Q∨P),(Q⇒Q)⇒(Q∨P),¬(Q⇒Q)
[条件2]のAをQ⇒Qとし、[条件2]のBをQ⇒Pとした、(Q⇒Q)∧(Q⇒P),(Q⇒Q)∨(Q⇒P),(Q⇒Q)⇒(Q⇒P),¬(Q⇒Q)
[条件2]のAをQ⇒Qとし、[条件2]のBを¬Qとした、(Q⇒Q)∧(¬Q),(Q⇒Q)∨(¬Q),(Q⇒Q)⇒(¬Q),¬(Q⇒Q)
[条件2]のAをQ⇒Qとし、[条件2]のBをQ∧Qとした、(Q⇒Q)∧(Q∧Q),(Q⇒Q)∨(Q∧Q),(Q⇒Q)⇒(Q∧Q),¬(Q⇒Q)
[条件2]のAをQ⇒Qとし、[条件2]のBをQ∨Qとした、(Q⇒Q)∧(Q∨Q),(Q⇒Q)∨(Q∨Q),(Q⇒Q)⇒(Q∨Q),¬(Q⇒Q)
[条件2]のAをQ⇒Qとし、[条件2]のBをQ⇒Qとした、(Q⇒Q)∧(Q⇒Q),(Q⇒Q)∨(Q⇒Q),(Q⇒Q)⇒(Q⇒Q),¬(Q⇒Q)
* (step3)での認定と同時に、
真理値決定原理(2-1)〜(2-4)に従って、
(step3)で認定された「P,Qから帰納的に定義される論理式」の真理値が、
(step1)(step2)で認定され、真理値も確定した「P,Qから帰納的に定義される論理式」をもとに、
定まる。
・(step1)(step2)(step3)で認定された「P,Qから帰納的に定義される論理式」の各々を、
かわるがわる[定義-条件2]の A,B に代入し、
代入するたび毎に、
A∧B,A∨B,A⇒B,¬Aが表す対象 (その列挙は省略)
を、「P,Qから帰納的に定義される論理式」に認定。…(step4)
* (step4)での認定と同時に、
真理値決定原理(2-1)〜(2-4)に従って、
(step4)で認定された「P,Qから帰納的に定義される論理式」の真理値が、
(step1)(step2)(step3)で認定され、真理値も確定した「P,Qから帰納的に定義される論理式」をもとに、
定まる。
・(step1)(step2)(step3)(step4)で認定された「P,Qから帰納的に定義される論理式」の各々を、
かわるがわる[定義-条件2]の A,B に代入し、
代入するたび毎に、
A∧B,A∨B,A⇒B,¬Aが表す対象 (その列挙は省略)
を、「P,Qから帰納的に定義される論理式」に認定。…(step5)
:
:
:
|