🚀 go-pugleaf

$@$3$3$>$H$P$+$j$K!JL5CN$J!K<ALd$r%7%^%/%k3^(J(ryu@sys.titech.ac.jp)$@$G$9!#(J

In article <ISHIHARA.92Nov5101428@is15e0s10.jaist-east.ac.jp> ishihara@is15e0s10.jaist-east.ac.jp (Hajime Ishihara) writes:
 |   >>$@$G$b!"@P86$5$s$N@bL@$O$=$&$$$&OC$7$G$O$J$$$h$&$G$9$,!#(J
$@Cf(J$@N,(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$$$+(J$@$i$G$9!#(J
 |
 |$@3N$+!"(JA or not(A) <=> not(not(A)) -> A + not(A) or not(not(A)) $@$G$9!#(J
 |$@$^$?!"D>4Q<g5A(J($@L?Bj(J)$@O@M}$G(J not(A) or not(not(A)) $@$O0lHL$K$O=P$^$;$s!#(J

$@$"$j$,$H$&$4$6$$$^$9!#>.NS$5$s$+$i$b%U%)%m!<$r(J$@$$$?$@$-$^$7$?!#(J
$@$G!"Nc$N@P86$5$s$N$@$7$?%U%!%8!<%J=89g$O(J V^$@&8(J $@$N$I$N$X$s$K$"$k$s$G$7$g(J
$@$&$+!)(J

 |$@Nc$((J$@$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$@$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
 |
 |$@$J$I$H9M$($F$7$^$$$^$9!#(J
 |$@$3$3$^$GMh$k$HD>4Q<g5A!V$r!W8&5f$7$F(J$@$$$k$3$H$K$J$j$^$;$s$+!)(J

$@%9%i%$%9$NOC$7$G$9$+!)(J
$@$=$l$O$$$/$i$J$s$G$b!VCf4VO@M}!W$J$N$G$O!"!"!"(J