🚀 go-pugleaf

In article <NAKASHIM.93Feb5102821@uranus.etl.go.jp>
                     nakashim@etl.go.jp (Hideyuki Nakashima) said:
> $@L@$i$+$K!$(J:-$@$r4^0U$N0UL#$NL?Bj5-9f(J$@$H$7$F;H$C$F$$$^$9!%$G!$DL>o$NO@M}$N(J
> $@8@MU$G$O!$C1$J$kL?Bj$G$"$C$F7h$7$F!H?dO@5,B'!I$G$O$J$$$o$1$G$9(J$@!%(J

> $@$H$3$m$,(JAI$@$N%3%s%F%/%9%H!JNc$($P%(%-%9%Q!<%H%7%9%F%`$G$b$h$$!K$G?dO@$N(J
> $@OC$r$7$F$$$k>l9g$K$O!$(J$@$3$N4^0U$NL?Bj$,!H5,B'!I$J$N$G$9!%(J

> $@$G!$8e<T$N>l9g$K$=$&$@$HCG$j$?$$$o$1$@$1$I!$C;$$NI$$I=8=$,;W$$$D(J$@$+$J$$(J
> $@$o$1$G$9!%$I$J$?$+L>0F$*;}$A$G$O$J$$$G$7$g$&$+!)(J

 AI $@$N%3%s%F%-%9%H$G;H$&$N$J$i$P!"(J

$@!&(J Logic $@$G;H$&0UL#$N5,B'(J(modus ponens $@$J$I(J)$@$O!"(J"$@?dO@5,B'(J"$@$H8F$V!#(J
$@!&(J"$@5,B'(J"$@$O%W%m%@%/%7%g%s%k!<%k$d5,B'@a(J($@K\(J$@BN$N$"$k3NDj@a(J)$@$N0UL#$G;H$&!#(J

$@$GNI$$$H;W$$$^$9!#(J

$@$I$&$7$F$b8e<T$G$"$k$3$H$r8@$$$?$1$l$P!"(J"$@%W%m%@%/%7(J$@%g%s%k!<%k(J"$@!"(J
"$@5,B'@a(J"$@$H$=$N>l$K1~$8$F;H$$J,$1$k$+!"CN<1$rIU$1$i$l$l$P5,B'7?CN<1(J
$@$H8F$V!"$0$i$$$7$+;W(J$@$$$D$-$^$;$s!#(J

---
{^g^} $@:4!9LZM5!w>pJs8&CN<1It(J
 (sasaki@nttkb.ntt.jp, 7L2TRY)