Article View: fj.ai
Article #795Re: equality
From: Suzuki Hiroaki
Date: Tue, 02 Feb 1993 02:13
Date: Tue, 02 Feb 1993 02:13
32 lines
2200 bytes
2200 bytes
$@EZ20$5$s$N(J >> a = b -> (Fa -> Fb) for all F $@!VF1$8(J$@;~$K$O2?$G$bF1$8!W$H$$$&$N$O!"C1=c$J4V0c$$$G$7$g$&!#=E$_$9$iF~$C(J $@$F$J$$$H$$$&0UL#$GAGKQ$H$$$C$F$b8@$$(J$@$G$9$,!#$3$NDj5A$O?M4V$b4^$a$?CNE*(J $@$J%7%9%F%`$K$H$C$FI,MW$JF10l@-$N$[$s$N0lIt$7$+%+%P!<$7$F$J$$$o$1$G(J$@$9$+(J $@$i!#(J $@$=$l$GEvA3$I$s$J(JF$@$r$H$C$F$/$k$+$K$D$$$F$N@)Ls$,I,MW$K$J$j$^$9!#$$$$(JF$@$@(J $@$1$r;}$C$F$3$J$1$l$P(J$@!J$=$l$O8+J}!"4QE@$K$h$C$F$-$^$k$o$1$G$9$,!K!">e$N(J $@<0$,@.$jN)$?$J$$$H$$$&0UL#$K$*$$$F!"F10l@-$O8+J}!"(J$@4QE@$K0MB8$7$^$9!#(J $@CfEg$5$s$N(J >> >> > a = b -> (Fa -> Fb) for all F >> >>$@$N(J for all F $@$N$3$H$m$r(J for all $@4X?4$N$"$k(J F $@$HCV$-49$($l$P!$4X?4$N$"(J >>$@$k@-<A$K$D$$$F$N$_$NF10l@-$,=P$^$9$7!$$"$k(J$@%3%s%F%/%9%H$X$N<LA|(JM$@$r9M$($?(J >>$@$1$l$P(J for all M(F) $@$GNI$$$N$G$O$J$$$G$7$g$&$+!)(J $@$O!"AGKQ$G$9$,0-$/(J$@$J$$$H;W$$$^$9!#$?$@$7!"$3$l$O3HD%$G$O$J$/!"=$@5!J$"(J $@$k$$$O>e$N<0$KBP$9$k<aL@!K$H$$$C$?J}$,$$$$$N$G$O(J$@!#$J$<$J$i!">e$NDj5A$O$9(J $@$Y$FEy$7$$$H8@$C$F$$$k$N$KBP$7$F!"CfEg$5$s$N$OItJ,$7$+Ey$7$/$J$$$H8@$C(J $@$F$k$o(J$@$1$G$9$+$i!#(J -- Hiroaki Suzuki E-mail:susan@sys.titech.ac.jp Dept. Systems Science Tel: 045-922-1111 Tokyo Institute of Technology FAX: 045-921-1485
Technical Details
Message-ID:
<SUSAN.93Feb2111339@sysslc.sys.titech.ac.jp>Path:
arc1-ca.pugleaf.net!sparky!uunet!ccut!news.u-tokyo.ac.jp!wnoc-tyo-news!cs.titech!is.titech!sys.titech.ac.jp!susanReferences:
<SUSAN.93Jan27113046@sysslc.sys.titech.ac.jp> <NAKASHIM.93Jan28163120@uranus.etl.go.jp> <C1M82C.MI3@culle.l.chiba-u.ac.jp> <1kcqft$nan@agate.berkeley.edu> <NAKASHIM.93Jan30170757@uranus.etl.go.jp>Show Full Headers
Complete Article Headers
X-Google-Language: Japanese,JIS X-Google-Thread: 155634,e9347125f0feaac X-Google-Attributes: gid155634,public X-Google-ArrivalTime: 1993-02-01 18:13:39 PST Newsgroups: fj.ai Path: arc1-ca.pugleaf.net!sparky!uunet!ccut!news.u-tokyo.ac.jp!wnoc-tyo-news!cs.titech!is.titech!sys.titech.ac.jp!susan From: susan@sys.titech.ac.jp (Suzuki Hiroaki) Subject: Re: equality In-Reply-To: nakashim@etl.go.jp's message of Sat, 30 Jan 1993 08:07:57 GMT Message-ID: <SUSAN.93Feb2111339@sysslc.sys.titech.ac.jp> Sender: news@sys.titech.ac.jp Organization: Tokyo Institute of Technology, Yokohama, Japan. References: <SUSAN.93Jan27113046@sysslc.sys.titech.ac.jp> <NAKASHIM.93Jan28163120@uranus.etl.go.jp> <C1M82C.MI3@culle.l.chiba-u.ac.jp> <1kcqft$nan@agate.berkeley.edu> <NAKASHIM.93Jan30170757@uranus.etl.go.jp> Date: Tue, 2 Feb 1993 02:13:39 GMT Lines: 33