Re: Q in intutionistic math.

Article View: fj.sci.math

Article #26

#26

From: inoue kouichi
Date: Mon, 02 Nov 1992 07:43

26 lines
1953 bytes

  $@0f>e!wBg:eI\N)9b@l$G$9!#$=$&$G$7$?$+!#(J

In article <RYU.92Nov2131119@sysipk.sys.titech.ac.jp> ryu@sys.titech.ac.jp (ryu) writes:
>$@$=$l$H!"(J{0,1}$@$r(JV^($@&8(J) $@$KKd$a9~$s$@$i!"$=$j$c$"!"ItJ,=89g$OL58B$K$"$j$d(J
>$@$7$^$;$s$+!)!J#4$D$8$c$J$/$F!K(J

  $@;d$b:.Mp$7$?5-;v$r=q$$$F$7$^$C$?$h$&$G$9!#L58B$K$"$k$H$$$&N)>l$J$N$G(J
$@$9$M!#(J

>not(A) or not(not(A)) $@$H(J A or not(A) $@$O0c$&$b$N$G$O$J$+$C$?$s$G$9$+!)(J

  $@0c$&$H$$$&$N$,D>4Q<g5A$NN)>l$J$N$G$9$M!#$G!"$3$N5?LdId$O2?$r$*J9$-$K(J
$@$J$j$?$$$N$G$7$g$&!#(J
  $@$$$m$$$mFI$s$G$$$F!"$d$C$Q$jD>4Q<g5A$OIaDL$N?t3X$KLr$KN)$A$=$&$b$J$$(J
$@$J$H;W$$$^$7$?!#(Jformulate$@$K;M6lH,6l$7$?$@$1$N$h$&$J5$$,$7$^$9!#A0$K$b=q(J
$@$-$^$7$?$,!"D>4Q<g5A!V$r!W8&5f$9$k$N$O$J$+$J$+LLGr$=$&$G$9$,!"D>4Q<g5A(J
$@!V$G!W$d$C$F$$$/$N$O$$$d$G$9$M!#(J
  $@$7$+$7!"$*$=$i$/(JBrower$@$H$$$&?M$O;d$H$OH?BP$K!"D>4Q<g5A!V$r!W8&5f$7$F(J
$@$$$k$3$NK\$N$3$H$rCN$C$?$i!"7cE\$9$k$s$8$c$J$$$+$J$"!#$H!"$U$H;W$$$^$7(J
$@$?!#$G$O$G$O!#(J

-- 
================================== $@0f>e9@0l!wBg:eI\N)9b@l(J=====================
                   Phone : (0720) 21-6401 ($@Fb@~(J304)  Fax : (0720) 21-0134
                   E-mail: f51323@sakura.kudpc.kyoto-u.ac.jp
=========================================$@;d$O(Jmohta$@;a$K5wN%$r$*$$$F$$$^$9!#(J====

Technical Details

Message-ID: <1992Nov2.074326.17262@kudpc.kyoto-u.ac.jp>

Path: arc1-ca.pugleaf.net!sparky!uunet!ccut!s.u-tokyo!kuis!kudpc!sakura.kudpc.kyoto-u.ac.jp!f51323

References:

<ISHIHARA.92Oct30100417@is15e0s10.jaist-east.ac.jp> <1992Oct31.052546.28018@kudpc.kyoto-u.ac.jp> <RYU.92Nov2131119@sysipk.sys.titech.ac.jp>

Show Full Headers

Complete Article Headers

Newsgroups: fj.sci.math
Path: arc1-ca.pugleaf.net!sparky!uunet!ccut!s.u-tokyo!kuis!kudpc!sakura.kudpc.kyoto-u.ac.jp!f51323
From: f51323@sakura.kudpc.kyoto-u.ac.jp (inoue kouichi)
Subject: Re: Q in intutionistic math.
Message-ID: <1992Nov2.074326.17262@kudpc.kyoto-u.ac.jp>
Sender: news@kudpc.kyoto-u.ac.jp
Nntp-Posting-Host: sakura.kudpc.kyoto-u.ac.jp
Organization: Osaka Prefectural College of Technology
References: <ISHIHARA.92Oct30100417@is15e0s10.jaist-east.ac.jp> <1992Oct31.052546.28018@kudpc.kyoto-u.ac.jp> <RYU.92Nov2131119@sysipk.sys.titech.ac.jp>
Date: Mon, 2 Nov 1992 07:43:26 GMT
Lines: 26

Reply to Parent Message