第 7 章 おわりに 34
A.4 本研究で作成した論理式
ここでは本研究で作成し検証で使用した論理式をすべて掲載している．なお，おのおの の対応IDは表A.2の対応IDのことである．
A.4.1 対応 ID:01a の論理式
1. 商法（原文） : 左ノ場合ニ於テハ保険者ハ保険金額ヲ支払フ責ニ任セス一 被保険 者カ自殺，決闘其他ノ犯罪又ハ死刑ノ執行ニ因リテ死亡シタルトキ
2. 商法（意訳・分離） : 被保険者が自殺によって死亡した場合，保険者は免責とする 3. 商法（論理式） :
∀xyz.(契約(x, y, z)
自殺(y)⇒免責(x, z)) x:保険者 y:被保険者 z:保険金受取人 w:保険契約者
4. 約款（原文） : 責任開始（復活が行なわれた場合の保険契約については，最後の 復活の際の責任開始．以下，本編において同じ．）の日からその日を含めて3年以内 の被保険者の自殺には死亡保険金を支払わない
5. 約款（意訳・分離） : 被保険者が責任開始から3年以内に自殺によって死亡した 場合，保険者は免責とする
6. 約款（論理式） :
∀xyzm.(契約(x, y, z)
自殺約款(y, m)
(C m)⇒免責(x, z)) x:保険者 y:被保険者 z:保険金受取人 w:保険契約者
m：責任開始から自殺するまでの経過年数 C:免責となる期間
7. 半面的強行規定の補完 :
∀xm.(自殺約款(x, m)⇒自殺(x))
x:保険者 y:被保険者 z:保険金受取人 w:保険契約者
8. 検証用論理式 :
∀xyz.(契約(x, y, z)
自殺(y)⇒免責(x, z))
∀xm.(自殺約款(x, m)⇒自殺(x))
⇒
∀xyzm.(契約(x, y, z)
自殺約款(y, m)
(C m)⇒免責(x, z))
9. 補足 : なし。
A.4.2 対応 ID:01b の論理式
1. 商法（原文） : 保険金額ヲ受取ルヘキ者カ故意ニテ被保険者ヲ死ニ致シタルトキ 但其者カ保険金額ノ一部ヲ受取ルヘキ場合ニ於テハ保険者ハ其残額ヲ支払フ責ヲ免 ルルコトヲ得ス
2. 商法（意訳・分離） : 保険金受取人が故意に被保険者を死亡させた場合，保険者 は免責とする
3. 商法（論理式） :
∀xyz.(契約(x, y, z)
故殺(z, y)⇒免責(x, z))
x:保険者 y:被保険者 z:保険金受取人 w:保険契約者
4. 約款（原文） : 死亡保険金受取人の故意により被保険者が死亡したときには死亡 保険金を支払わない
5. 約款（意訳・分離） : 保険金受取人が故意に被保険者を死亡させた場合，保険者 は免責とする
6. 約款（論理式） :
∀xyz.(契約(x, y, z)
故殺(z, y)⇒免責(x, z))
x:保険者 y:被保険者 z:保険金受取人 w:保険契約者
7. 半面的強行規定の補完 : なし．
8. 検証用論理式 :
∀xyz.(契約(x, y, z)
故殺(z, y)⇒免責(x, z))
⇒
∀xyz.(契約(x, y, z)
故殺(z, y)⇒免責(x, z))
9. 補足 : なし。
A.4.3 対応 ID:01c の論理式
1. 商法（原文） : 保険契約者カ故意ニテ被保険者ヲ死ニ致シタルトキ
2. 商法（意訳・分離） : 保険契約者が故意に被保険者を死亡させた場合，保険者は 免責とする
3. 商法（論理式） :
∀xyzw.(契約(x, y, z, w)
故殺(w, y)⇒免責(x, z))
x:保険者 y:被保険者 z:保険金受取人 w:保険契約者
4. 約款（原文） : 保険契約者の故意により被保険者が死亡したときには死亡保険金 を支払わない
5. 約款（意訳・分離） : 保険契約者が故意に被保険者を死亡させた場合，保険者は 免責とする
6. 約款（論理式） :
∀xyzw.(契約(x, y, z, w)
故殺(w, y)⇒免責(x, z)) x:保険者 y:被保険者 z:保険金受取人 w:保険契約者 7. 半面的強行規定の補完 : なし．
8. 検証用論理式 :
∀xyzw.(契約(x, y, z, w)
故殺(w, y)⇒免責(x, z))
⇒
∀xyzw.(契約(x, y, z, w)
故殺(w, y)⇒免責(x, z))
9. 補足 : なし。
A.4.4 対応 ID:02 の論理式
1. 商法（原文） : 前項第一号及ヒ第二号ノ場合ニ於テハ保険者ハ被保険者ノ為メニ 積立テタル金額ヲ保険契約者ニ払戻スコトヲ要ス
2. 商法（意訳・分離） : 保険金受取人が故意に被保険者を死亡させた場合，死亡さ せた保険金受取人が保険金の一部の受取人であるときは，保険者は他の保険金受取 人に対しては保険金の残額を支払わなくてはならない．
3. 商法（論理式） :
∀xyz∃w.(契約(x, y, z)
故殺(z, y)
契約(x, y, w)
¬(w = z) ⇒ 保険金残額支払 い義務(x, w))
x:保険者 y:被保険者 z:保険金受取人 w:保険契約者
4. 約款（原文） : 死亡保険金受取人が故意に被保険者を死亡させた場合で，その受 取人が死亡保険金の一部の受取人であるときは，会社は，死亡保険金の残額をその 他の死亡保険金受取人に支払います．
5. 約款（意訳・分離） : 保険金受取人が故意に被保険者を死亡させた場合，死亡さ せた保険金受取人が保険金の一部の受取人であるときは，保険者は他の保険金受取 人に対しては保険金の残額を支払わなくてはならない．
6. 約款（論理式） :
∀xyz∃w.(契約(x, y, z)
故殺(z, y)
契約(x, y, w)
¬(w = z) ⇒ 保険金残額支払 い義務(x, w))
x:保険者 y:被保険者 z:保険金受取人 w:保険契約者
7. 半面的強行規定の補完 : なし．
8. 検証用論理式 :
∀xyz∃w.(契約(x, y, z)
故殺(z, y)
契約(x, y, w)
¬(w = z) ⇒ 保険金残額支払 い義務(x, w))
⇒
∀xyz∃w.(契約(x, y, z)
故殺(z, y)
契約(x, y, w)
¬(w = z) ⇒ 保険金残額支払 い義務(x, w))
9. 補足 : なし。
A.4.5 対応 ID:03 の論理式
1. 商法（原文） : 前項第一号及ヒ第二号ノ場合ニ於テハ保険者ハ被保険者ノ為メニ 積立テタル金額ヲ保険契約者ニ払戻スコトヲ要ス
2. 商法（意訳・分離） : 被保険者が自殺によって死亡した場合，保険者は保険契約 者に対し積立金の払戻義務を負う
3. 商法（論理式） :
∀xyzw.(契約(x, y, z, w)
自殺(y)⇒積立金支払い義務(x, w)) x:保険者 y:被保険者 z:保険金受取人 w:保険契約者
4. 約款（原文） : つぎの第１号または第２号の免責事由により死亡保険金が支払わ れない場合には責任準備金を，第３号の免責事由により死亡保険金が支払われない 場合には解約払戻金を，会社は，保険契約者に支払います．（１）責任開始の日から その日を含めて３年以内に被保険者が自殺したとき
5. 約款（意訳・分離） : 被保険者が自殺免責期間内に自殺によって死亡し保険金を 支払わない場合，保険者は保険契約者に対し積立金の払戻義務を負う
6. 約款（論理式） :
∀xyzwm.(契約(x, y, z, w)
自殺約款(y, m)
(C m)⇒積立金支払い義務(x, w))
x:保険者 y:被保険者 z:保険金受取人 w:保険契約者
m：責任開始から自殺するまでの経過年数 C:免責となる期間
7. 半面的強行規定の補完 :
∀xm.(自殺約款(x, m)⇒自殺(x))
x:保険者 y:被保険者 z:保険金受取人 w:保険契約者 m：責任開始から自殺するまでの経過年数
8. 検証用論理式 :
∀xyzw.(契約(x, y, z, w)
自殺(y)⇒積立金支払い義務(x, w))
∀xm.(自殺約款(x, m)⇒ 自殺(x))
⇒
∀xyzwm.(契約(x, y, z, w)
自殺約款(y, m)
(C m)⇒積立金支払い義務(x, w))
9. 補足 : なし。
A.4.6 対応 ID:04 の論理式
1. 商法（原文） : 前項第一号及ヒ第二号ノ場合ニ於テハ保険者ハ被保険者ノ為メニ 積立テタル金額ヲ保険契約者ニ払戻スコトヲ要ス
2. 商法（意訳・分離） : 保険金受取人が故意に被保険者を死亡させたことにより保 険者が保険金の支払い義務を負わない場合，保険者は保険契約者に対し積立金の払 戻義務を負う
3. 商法（論理式） :
∀xyz.(契約(x, y, z)
故殺(z, y)⇒積立金払戻義務(x, w))
x:保険者 y:被保険者 z:保険金受取人 w:保険契約者
4. 約款（原文） : つぎの第１号または第２号の免責事由により死亡保険金が支払わ れない場合には責任準備金を，第３号の免責事由により死亡保険金が支払われない 場合には解約払戻金を，会社は，保険契約者に支払います．（２）死亡保険金受取人 が故意に被保険者を死亡させたとき
5. 約款（意訳・分離） : 保険金受取人が故意に被保険者を死亡させたことにより保 険者が保険金の支払い義務を負わない場合，保険者は保険契約者に対し積立金の払 戻義務を負う
6. 約款（論理式） :
∀xyz.(契約(x, y, z)
故殺(z, y)⇒積立金払戻義務(x, w)) x:保険者 y:被保険者 z:保険金受取人 w:保険契約者
7. 半面的強行規定の補完 : なし．
8. 検証用論理式 :
∀xyz.(契約(x, y, z)
故殺(z, y)⇒積立金払戻義務(x, w))
⇒
∀xyz.(契約(x, y, z)
故殺(z, y)⇒積立金払戻義務(x, w))
9. 補足 : なし。
A.4.7 対応 ID:05 の論理式
1. 商法（原文） : 戦争其他ノ変乱ニ因リテ生シタル損害ハ特約アルニ非サレハ保険 者之ヲ填補スル責ニ任セス
2. 商法（意訳・分離） : 被保険者が戦争その他の変乱によって死亡した場合に特約 で保険金を支払うという約束がなければ，保険者は免責とする
3. 商法（論理式） :
4. 約款（原文） : 前条の規定にかかわらず，被保険者が戦争その他の変乱により死亡 しまたは高度障害状態（別表３）に該当した場合で，その原因により死亡しまたは 高度障害状態に該当した被保険者の数の増加がこの保険の計算の基礎に影響を及ぼ すときは，会社は，死亡保険金または高度障害保険金を削減して支払うことがあり ます．この場合，削減して支払う金額は，責任準備金を下まわることはありません．
5. 約款（意訳・分離） : 被保険者が戦争その他の変乱によって死亡となった場合に，
保険の計算に影響を及ぼすときは，保険金を削減して支払うことがあります．この 場合，削減して支払う金額は責任準備金を下まわることはありません．
6. 約款（論理式） :
7. 半面的強行規定の補完 : 8. 検証用論理式 :
9. 補足 : いろいろ試したが論理式を作成できなかった．
A.4.8 対応 ID:06 の論理式
1. 商法（原文） : 保険契約者又ハ保険金額ヲ受取ルヘキ者カ被保険者ノ死亡シタル コトヲ知リタルトキハ遅滞ナク保険者ニ対シテ其通知ヲ発スルコトヲ要ス
2. 商法（意訳・分離） : 保険契約者または保険金受取人は被保険者の死亡を知った ときは，遅滞なく保険者に対してその通知をしなければならない．
3. 商法（論理式） :
∀xyzw.(契約(x, y, z, w)
死亡(w, y)⇒遅滞なく通知(w, x))
∀xyzw.(契約(x, y, z, w) 死 亡(z, y)⇒遅滞なく通知(z, x))
x:保険者 y:被保険者 z:保険金受取人 w:保険契約者
4. 約款（原文） : 保険金，年金，給付金の支払事由が生じたときまたは保険料の払込 の免除事由が生じたときは，保険契約者または支払事由が生じた保険金，年金，給 付金の受取人は，ただちに会社に通知して下さい．
5. 約款（意訳・分離） : 保険契約者または保険金受取人は被保険者の死亡を知った ときは，遅滞なく保険者に対してその通知をしなければならない．
6. 約款（論理式） :
∀xyzw.(契約(x, y, z, w)
死亡(w, y)⇒遅滞なく通知(w, x))
∀xyzw.(契約(x, y, z, w) 死 亡(z, y)⇒遅滞なく通知(z, x))
x:保険者 y:被保険者 z:保険金受取人 w:保険契約者
7. 半面的強行規定の補完 : なし．
8. 検証用論理式 :
∀xyzw.(契約(x, y, z, w)
死亡(w, y)⇒遅滞なく通知(w, x))
∀xyzw.(契約(x, y, z, w) 死 亡(z, y)⇒遅滞なく通知(z, x))
⇒
∀xyzw.(契約(x, y, z, w)
死亡(w, y)⇒遅滞なく通知(w, x))
∀xyzw.(契約(x, y, z, w) 死 亡(z, y)⇒遅滞なく通知(z, x))
9. 補足 : なし。
A.4.9 対応 ID:07 の論理式
1. 商法（原文） : 第六百七十四条第一項ノ規定ハ前項ノ指定及ヒ変更ニ之ヲ準用ス 第六百七十四条 他人ノ死亡ニ因リテ保険金額ノ支払ヲ為スヘキコトヲ定ムル保険契 約ニハ其者ノ同意アルコトヲ要ス但被保険者カ保険金額ヲ受取ルヘキ者ナルトキハ 此限ニ在ラス
2. 商法（意訳・分離） : 保険契約者と被保険者が別人である契約において，保険契 約者が保険金受取人を指定または変更する場合には，被保険者の同意を得なければ ならない
3. 商法（論理式） :
∀xyzw.(契約(x, y, z, w)
(w≠y)
変更同意(w, y) ⇒ 受取人変更(w)
受取人指 定(w))
x:保険者 y:被保険者 z:保険金受取人 w:保険契約者
4. 約款（原文） : 保険契約者は，主契約の被保険者の同意を得て，死亡保険金受取 人を変更することができます．
5. 約款（意訳・分離） : 保険契約者が保険金受取人を変更する場合には被保険者の 同意を得なければならない