john7rv

反証図の展開の規則
展開の順番はどちらが先でも構いません
ただ、分岐の展開は後にしたほうがやりやすいでしょう

連言は垂直に並べます
注：連言のように垂直に並べた場合は、ABのどちらかだけが矛盾になるだけでAB両方が閉じます

A∧B
 A
 B

選言は横に並べて分岐させます

 A∨B
/    \
A     B

両方を否定して分岐させます

 not(A∧B)
 /     \
notA     notB

両方を否定して垂直に並べます

not(A∨B)
   notA
   notB

Aを否定してBはそのままで分岐させます

   A⇒B
  /    \
notA    B

AはそのままでBを否定して垂直に並べます

not(A⇒B)
     A
  notB

分岐させて
左側はABをそのまま垂直に並べて
右側は否定型のABを垂直に並べます

   A⇔B
  /    \
　A    notA
  B    notB

分岐させて
左側はA notBを垂直に並べて
右側はnotA Bを垂直に並べます

  not(A⇔B)
    /    \
   A    notA
  notB    B

肯定となり下に書きます

notnotA
   A