Re: equality

Article View: fj.ai

Article #776

#776

From: Syun Tutiya
Date: Fri, 29 Jan 1993 12:30

16 lines
1490 bytes

In article <NAKASHIM.93Jan28163120@uranus.etl.go.jp> nakashim@etl.go.jp (Hideyuki Nakashima) writes:
>$B7k6IF10l@-$r%T%e%"$KDj5A$7$J$1$l$P$J$i$J$$$N$G$O!)(B

$B$"$?$j$^$($_$?$$$G$9$,!"$=$NDL$j$G$O!)F10l@-$NI,MW>r7o$O4JC1(B
$B$G$9$h$M!#(B 

        a = b -> (Fa <-> Fb) for all F

$B$3$l$,==J,>r7o$K$J$k$+$O!"N)>l$N0c$$$,$G$^$9$,!"$9$Y$F$N@-<A(B
$B$H$$$&$3$H$K0UL#$,$"$k$H9M$($k?M$O$=$l$G$$$$$N$G$O$J$$$G$7$g(B
$B$&$+!#J]<iE*$J?M$O!"$3$NI,MW>r7o$@$1$G8@$($k$3$H$@$1$$$C$F$*(B
$B$1$P$$$$$N$G$O$J$$$G$7$g$&$+!#$$$:$l$K$;$h!"F10l@-$H$$$&$N$O(B
$B$=$l$@$1$N$3$H!"!V8+J}!W$H$+!V4QE@!W$H$+$O$=$N$"$H$NOC$7$@$H(B
$B;W$$$^$9!#(B

$BEZ20(B

Technical Details

Message-ID: <C1M82C.MI3@culle.l.chiba-u.ac.jp>

Path:

arc1-ca.pugleaf.net!sparky!uunet!europa.eng.gtefsd.com!howland.reston.ans.net!spool.mu.edu!sgiblab!adagio.panasonic.com!chorus.mei!oskgate0.mei!icspub!wnoc-kyo!kuis!s.u-tokyo!kekux!crimson!ume!gama!lab!culle!tutiya

References: <93Jan20154232@okilab.oki.co.jp> <SUSAN.93Jan27113046@sysslc.sys.titech.ac.jp> <NAKASHIM.93Jan28163120@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-01-29 11:38:39 PST
Path: arc1-ca.pugleaf.net!sparky!uunet!europa.eng.gtefsd.com!howland.reston.ans.net!spool.mu.edu!sgiblab!adagio.panasonic.com!chorus.mei!oskgate0.mei!icspub!wnoc-kyo!kuis!s.u-tokyo!kekux!crimson!ume!gama!lab!culle!tutiya
From: tutiya@culle.l.chiba-u.ac.jp (Syun Tutiya)
Newsgroups: fj.ai
Subject: Re: equality
Message-ID: <C1M82C.MI3@culle.l.chiba-u.ac.jp>
Date: 29 Jan 93 12:30:11 GMT
References: <93Jan20154232@okilab.oki.co.jp> <SUSAN.93Jan27113046@sysslc.sys.titech.ac.jp> <NAKASHIM.93Jan28163120@uranus.etl.go.jp>
Reply-To: tutiya@culle.l.chiba-u.ac.jp (Syun Tutiya)
Distribution: fj
Organization: Faculties of Letters, Law and Economics, Chiba University
Lines: 16

Reply to Parent Message