Article View: fj.sci.math
Article #14148Re: logic
From: Takuji Kawamoto
Date: Thu, 09 Nov 1995 00:00
Date: Thu, 09 Nov 1995 00:00
84 lines
4877 bytes
4877 bytes
$@@nK\!w(JAT$@%P%9%"!<%-%F%/%A%c:NMQ5!%f!<%6$G$9!#(J
$@K\5-;v$G$O!"Fs=EH]Dj$O9NDj$HF1CM$G$"$k$H$7$^$9!#(J
> 2$@$NJ?J}:,$OL5M}?t$G$"$k$3$H$rGXM}K!$G>ZL@$9$k$K$O(J$@!"$^$:$3$l$,M-M}?t$G$"(J
> $@$k$3$H$r2>Dj$7!"L7=b$rF3$-!"$h$C$F$3$l$OL5M}?t$G$"$k$H7kO@$7$^$9!#$7$+$7!"(J
> 2$@$NJ?J}:,$O$=$NDj5A$+$i!">ZL@$9$k0JA0$KL5M}?t$G$"$kH&$G$9!#$D$^$j!">ZL@(J
> $@$7$F=i$a$FL5M}?t$K$J$kLu$G(J$@$O$J$$$H;W$$$^$9!#(J
> $@!!$H$9$k$H!"GXM}K!$G(J2$@$NJ?J}:,$,M-M}?t$H2>Dj$9$kCJ3,$K$*$$$F!"$9$G$K(J
> $@4V0c$C$?A0(J$@Ds$rCV$$$F$$$k$3$H$K$J$k$N$G!"$3$l0J8e$N?dO@$N0UL#$,$"$k$N$+(J
> $@$,5$$K$J$k$N$G$9!#$D$^$j!"!V4V0c$C$?A0(J$@Ds$+$i$O!"$I$s$J7kO@$bF3$1$k!W$H(J
> $@$$$&OC$H!"GXM}K!$H$N4X78$,;d$K$OM}2r=PMh$J$$$N$G$9!#(J
$@4V0c$C$?A0Ds(J$@$rCV$$$F$$$k$3$H$,$o$+$C$F$$$k!"$9$J$o$A!"!V#2$NJ?J}:,$,L5(J
$@M}?t$G$"$k!W$3$H$rM}2r$7$F$$$k$R$H$J$i!">Z(J$@L@$NI,MW$O$"$j$^$;$s!#(J
$@$*$C$7$c$k$H$*$j!"!V(J2$@$NJ?J}:,$,M-M}?t$+$I$&$+!W$O!":#>ZL@$7$h$&$H$9$k(J
$@0JA0$K!"(J$@4{$K7h$^$C$F$$$k$O$:$G$9!#>ZL@$H$O!V:#7hDj$9$k!W$N$,L\E*$G$O$J$/!"(J
$@4{$KC/$+!J?@MM!)!K$OCN$C$F$$$k$N(J$@$@$m$&$1$I!"<+J,!J$J$$$7$O!"(J
$@@bF@Aj<j!K$OCN$i$J$$!#$@$+$i!":#!"%A%'%C%/$7$F$_$h$&!#(J
$@$H$$$&$3$H$G$9!#(J$@$3$l$O!V>ZL@$NF05!!W$H$$$C$F$b$$$$$G$7$g$&!#(J
$@$3$N9M$($K$?$C$F$_$k$H!"<!$N$h$&$K$J$j$^$9!#8=<B$O$I$A$i(J$@$G$"$k$+$GJ,N`$7$F$_(J
$@$^$7$?!#(J
$@!V(J2$@$NJ?J}:,$,M-M}?t$+$I$&$+!W$O!"4{$K7h$^$C$F$$$k$O$:$@!#!VM-(J
$@M}?t$G(J$@$"$k!W$+!"!VL5M}?t!W$G$"$k$+$@!#$$$d$$$d$b$7$+$7$?$i!"(J
$@$I$A$i$H$b7h$^$C$F$J$$$+$b$7$l$J$$!#$@$+$i!"<!(J$@$N#3DL$j$,$"$j(J
$@$($k$@$m$&!#(J......... $@;d$OCN$i$J$$$N$G0l1~$=$&9M$($F$_$k(J
1)$@!V<B$OM-M}?t$G$"$k!W(J
2)$@!V<B$OL5M}?t$G$"$k!W(J
3)$@!V$I$A$i$G$"$k$H$O7h$a$i$l$J$$!W(J
$@:#2>$K!VM-M}?t$G$"$k!W$H$7$F$_$h$&!#$9$k(J$@$H!"$b$7!"(J1) $@$,K\Ev$J$i!"(J
$@$J$K$bIT;W5D$J$3$H$O5/$3$i$J$$$G$"$m$&!#$b$7!"(J2) $@$,K\Ev$J$i!"L7=b(J
$@$,5/$3$k(J$@$O$:!#$b$7!"(J3) $@$,K\Ev$J$i!"$d$O$j$J$K$bIT;W5D$J$3$H$O5/$3(J
$@$i$J$$!#(J............. $@$3$l$G(J 2) $@$G$"$k$+$I(J$@$&$+$,$o$+$k$O$:$@(J
$@<!$K!"2>$K!VL5M}?t$G$"$k!W$H$7$F$_$h$&!#$9$k$H!"$b$7!"(J1) $@$,K\Ev$J(J
$@$i!"$=$N$&$AL7(J$@=b$,H/3P$9$k$O$:$@!#$7$+$7!"$b$7!"(J2) $@$,K\Ev$J$i!"L7(J
$@=b$OH/3P$7$J$$$7!"(J3) $@$,K\Ev$G$b!"$d$O$j$J$K$bL7=b(J$@$OH/3P$7$J$$!#(J
..................... $@$3$l$G(J 1) $@$G$"$k$+$I$&$+$,$o$+$k$O$:$@(J
$@!V9NDj$,K\Ev$@$,!"H]Dj$7(J$@$F$_$k!W$H$$$&ItJ,$,!V4V0c$C$?A0Ds!W$r$7$F$_$k$3$H$G(J
$@$"$j!"!VL7=b$,5/$3$k!W$H$$$&ItJ,$,!V$I$s$J7kO@$b(J$@F3$1$k!W$H$$$&ItJ,$K$"$?$j$^(J
$@$9!#(J
$@!V$I$s$J7kO@$bF3$1$k!W$3$H$rD>@\>ZL@$9$k$N$O!"Fq$7$$$G$9$+$i!"$F$C(J$@$H$j$P$d$/(J
$@!VL7=b$rF3$/!W$N$G$9!#$b$A$m$s!"$=$N8e$N5DO@$,4V0c$C$F$*$l$P!"!VL7=b$,$*$-$?(J
$@$N$O!"$=$N!JH](J$@Dj$7$F$_$?!K8e$N5DO@$,4V0c$C$F$$$k$+$i$8$c$J$$$N!)!W$J$s$F$3$H(J
$@$r8@$o$l$k$N$,Mn$A$G$9$+$i!"??7u$K5DO@(J$@$7$J$1$l$P$J$j$^$;$s!#(J
$@$?$@0lE@$r=|$$$F!"$3$N?dO@$O40`z$G$"$k!"!"!"$,!"$J$<$+L7=b$7$?!#?dO@$N0lIt$,(J
$@2x$7$$$+$i$K0c$$$J$$$,!"2x$7$$$N$O$I$3$+$*$o$+$j$G$7$g$&!)(J
$@$@$+$i!"!"!"!"(J
$@4{$KB?$/$N?M$,>ZL@:Q$_$G$"(J$@$k$h$&$K!"<B$O(J 2) $@$G$9$+$i!"!VM-M}?t$G$"$k!W$H2>Dj(J
$@$7$F$*$$$FL7=b$rF3$-=P$9$Y$/EXNO$r$7$F$_$k$N$G$9!#(J
---------------------------------------------------------------------------------
$@OC$OJQ$o$C$F!"!"(J$@!"!#(J
$@$O$8$a$+$i@5$7$$$3$H$,D>4Q$G$-$F$$$k$+$i!"GXM}K!$r$7$F$_$h$&$H$$$&5$$K$J$k$H(J
$@8@$C$F$$$$$+$b$7$l(J$@$^$;$s!#?t3X<T$,$h$/D>LL$9$k%1!<%9$G$7$g$&!#(J
$@$^$?!"$"$k%1!<%9$G$O!V$I$C$A$+$h$/$o$+$i$J$$$+$i!"$H$j$"(J$@$($:$3$C$A$@$H2>Dj(J
$@$7$F$_$k!W$J$s$F$3$H$GEz$($,$_$D$+$k$3$H$b$"$k$G$7$g$&!#$3$A$i$O!"3X@8$,$h(J
$@$/D>LL$9(J$@$k%1!<%9$+$H;W$$$^$9!#(J
$@$^$?$^$?$"$k%1!<%9$G$O!"!V9NDj$7$F$_$F$b!"H]Dj$7$F$_$F$bL7=b$,$*$3$i$J$$$G$O(J
$@$J$$$+!W$H5$$E$/$3$H$b$"$k$G$7$g$&!#$=$3$G<+J,$N?t3XNO$NL5$5$r<v$&$N$b0l$D$N(J
$@<j$G$9$,!"$b$7$+$7$?$i!"(J$@$3$l$O>e=R$N(J 3) $@$KAjEv$9$k$+$b$7$l$^$;$s!#$3$N%$%0%6(J
$@%s%W%k$H$7$F!VJB9T@~$&$s$L$s!W$H$$$&$N$,M-L>$G$9(J$@$M!#(J
-
--
$@@nK\BvFs(J Takuji Kawamoto
($@3t(J)$@>>2<EE4o>pJs%7%9%F%`L>8E208&5f=j(J
E-mail kawamoto@miln.mei.co.jp
Technical Details
Message-ID:
<KAWAMOTO.95Nov9131850@khaos.miln.mei.co.jp>Path:
arc1-ca.pugleaf.net!unknown!not-for-mailReferences:
<YO.95Nov8174204@suzume.crl.go.jp>Show Full Headers
Complete Article Headers
X-Google-Language: Japanese,JIS X-Google-Thread: f4956,69250c8a4d1efe16,start X-Google-Attributes: gidf4956,public From: kawamoto@miln.mei.co.jp (Takuji Kawamoto) Subject: Re: logic Date: 1995/11/09 Message-ID: <KAWAMOTO.95Nov9131850@khaos.miln.mei.co.jp> X-Deja-AN: 119013170 distribution: fj sender: news@MILN-GW.miln.mei.co.jp references: <YO.95Nov8174204@suzume.crl.go.jp> organization: Matsushita information systems research laboratory nagoya reply-to: kawamoto@sun01.miln.mei.co.jp newsgroups: fj.sci.math