🚀 go-pugleaf

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

In article <SATOSHI.92Nov11151829@whale.ryukoku.ac.jp> satoshi@whale.ryukoku.ac.jp (Satoshi Kobayashi) writes:


   >> |$@Nc$($P!"$"$k(J($@8EE5E*(J)$@DjM}$rD>4Q<g5A!V$G!W>ZL@$7$h$&$H$7$^$9!#(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$^$;$s!#(J
   >> |$@$5$i$K!"(J($@;d$O(J)$@$I$NDxEY>ZL@$7$K(J$@$/$$$N$+!)(J
   >> |
   >> | A or not(A) $@$/$i$$$+!)(J not(A) or not(not(A)) $@$/$i$$$+!)(J
   >> |$@$O$?$^$?(J not(not(A)) -> A $@$/$i$$$+!)(J $@$=$N$$$E$l$G$b$J$$$+!)(J
   >>
   >>$@$3$l$b$^$?!"8xM}%9%-!<%^$NOC$@$H$9$l$P!"!V(JA or not(A) $@$/$i$$!W(J
   >>$@$H!V(Jnot(not(A)) -> A $@$/$i$$!W$OF1$8$K$J$C$F$7$^$$$^$9$M!#(J

$@$"$C!"$9$_$^$;$s(J$@!#$=$N$H$&$j$G$9!#(J
$@$$$D$b!"(JA$@$KF~$k%U%)!<%`%i$N7A$r@)8B$7$F;H$C$F$$$k$b$N$G$9$+$i!"$D$$!#(J

--
$@@P86(J  $@:H(J : $@KLN&@hC<2J3X5;=QBg3X1!Bg3X(J $@>pJs2J3X8&5f2J!J>pJsO@M}3X!K(J