🚀 go-pugleaf

$@@P86!wKLN&@hC<Bg$G$9!#(J

In article <RYU.92Nov4105137@sysipk.sys.titech.ac.jp> ryu@sys.titech.ac.jp (ryu) writes:

   >>$@$G$b!"@P86$5$s$N(J$@@bL@$O$=$&$$$&OC$7$G$O$J$$$h$&$G$9$,!#(J
   >>
   >> |>not(A) or not(not(A)) $@$H(J A or not(A) $@$O0c$&$b$N$G(J$@$O$J$+$C$?$s$G$9$+!)(J
   >> |
   >> |  $@0c$&$H$$$&$N$,D>4Q<g5A$NN)>l$J$N$G$9$M!#$G!"$3$N5?LdId$O2?$r$*J9(J$@$-$K(J
   >> |$@$J$j$?$$$N$G$7$g$&!#(J
   >>
   >>$@D>4Q<g5A$G$O(J not(not(A)) -> A $@$,F3$1$^$;$s!#$=$lL5$7$G!"(J
   >>not(A) or not(not(A)) -> A or not(A) $@!JJX59>e(J[1]$@$H$7$^$9!K(J
   >>$@$rF3$/$3$H$,$G$-$?$C$1!)(J
   >>$@$H(J$@!"$$$&5?Ld$G$9!#(J
   >>
   >>[1] $@$,$$$($J$$$N$J$i$P!"(Jnot(A) or not(not(A)) $@$,0lHL$K=P$F$-$?$H$7$F$b(J
   >>$@JL$K:$$i$J$$$+$i$G$9!#(J

$@3N$+!"(JA or not(A) <=> not(not(A)) -> A + not(A) or not(not(A)) $@$G$9!#(J
$@$^$?(J$@!"D>4Q<g5A(J($@L?Bj(J)$@O@M}$G(J not(A) or not(not(A)) $@$O0lHL$K$O=P$^$;$s!#(J

   >> |  $@$7$+$7!"$*$=$i$/(JBrower$@$H$$(J$@$&?M$O;d$H$OH?BP$K!"D>4Q<g5A!V$r!W8&5f$7$F(J
   >> |$@$$$k$3$NK\$N$3$H$rCN$C$?$i!"7cE\$9$k$s$8$c$J$$$+$J$"(J$@!#$H!"$U$H;W$$$^$7(J
   >> |$@$?!#$G$O$G$O!#(J
   >>
   >>$@$=$l$O$$$($^$9$M!#(J
   >>$@!V$3$NK\!W$OK\Ev$ND>4Q<g5A(J$@$NJ}!J@P86$5$s!)!K$+$i8+$?$i!"2?$8$c%3%j%c!"$C(J
   >>$@$F$$$&$b$s$@$H;W$$$^$9!#(J
   >>
   >>$@!t$G$b!";d$OLL(J$@Gr$$$H;W$$$^$9$,!#(J

$@;d$bLLGr$$$H;W$$$^$9!#(J
$@;d$NCf$G$OD>4Q<g5A!V$r!W8&5f$9$k$3$H$H!"D>4Q<g5A!V$G!W(J($@?t3X(J$@$r(J)$@8&5f$9$k$3$H$O(J
$@JL!9$N;v$G$O$"$j$^$;$s!#(J
$@Nc$($P!"$"$k(J($@8EE5E*(J)$@DjM}$rD>4Q<g5A!V$G!W>ZL@$7$h$&$H$7$^$9(J$@!#(J
$@$H$3$m$,!"$I$&$d$C$F$_$F$b>ZL@$G$-$=$&$b$"$j$^$;$s!#(J
$@$3$&$$$&>l9g!">ZL@$G$-$J$$;v$r>ZL@$7$J$1$l$P$J(J$@$j$^$;$s!#(J
$@$5$i$K!"(J($@;d$O(J)$@$I$NDxEY>ZL@$7$K$/$$$N$+!)(J

 A or not(A) $@$/$i$$$+!)(J not(A) or not(not(A)) $@$/(J$@$i$$$+!)(J
$@$O$?$^$?(J not(not(A)) -> A $@$/$i$$$+!)(J $@$=$N$$$E$l$G$b$J$$$+!)(J

$@$J$I$H9M$($F$7$^$$$^$9!#(J
$@$3$3$^(J$@$GMh$k$HD>4Q<g5A!V$r!W8&5f$7$F$$$k$3$H$K$J$j$^$;$s$+!)(J
--
$@@P86(J  $@:H(J : $@KLN&@hC<2J3X5;=QBg3X1!Bg3X(J $@>pJs2J(J$@3X8&5f2J!J>pJsO@M}3X!K(J