From: ryu@sys.titech.ac.jp (ryu)
Subject: Re: Q in intutionistic math.
Organization: Tokyo Institute of Technology, Yokohama, Japan.
	<1992Oct31.052546.28018@kudpc.kyoto-u.ac.jp>
	<RYU.92Nov2131119@sysipk.sys.titech.ac.jp>
	<1992Nov2.074326.17262@kudpc.kyoto-u.ac.jp>
	<RYU.92Nov4105137@sysipk.sys.titech.ac.jp> <SATOSHI.92Nov5173636@w
	<SATOSHI.92Nov7132053@whale.ryukoku.ac.jp>
Date: Mon, 9 Nov 1992 00:48:36 GMT


$@3^(J(ryu@sys.titech.ac.jp)$@$G$9!#$*@$OC$K$J$j$^$9!#(J

In article <SATOSHI.92Nov7132053@whale.ryukoku.ac.jp> satoshi@whale.ryukoku.ac.jp (Satoshi Kobayashi) writes:
 |In article <RYU.92Nov6133515@sysipi.sys.titech.ac.jp> ryu@sys.titech.ac.jp (ryu) writes:
 | |Ea = 1 $@$H$J$i$J$$$b$N$b4^$a$F9M$($k!"$F$3$H$OD>4Q<g5A$H$O4X78$J$$$s$G(J
 | |$@$9$+!)(J
 |
 |$@4X78$"$j$^$;$s!#%V!<(J$@%kBe?tCM$N=89gO@$G$b!"(JEa = 1 $@$G$J$$$b$N(J
 |$@$r4^$a$F9M$($k$3$H$K$J$j$^$9!#$b$C$H$b!"(JE $@=R8l$O8EE5O@M}$K4p(J
 |$@$E$/=89gO@$G$O$"$^$j;H$o$l$J$$$N$G$9$,!#(J

$@%V!<%kBe?tCM$N=89gO@$G$O&8$X$N<LA|$rItJ,=89g$H$7$F$H$i$((J$@$F$?$+$i!V(JEa =
1$@!W$H$J$i$J$$$b$N$O4X78$J$$$s$@$J!"$H;W$C$F$$$?$s$G$9$,!"(JV^$@&8$G$b$=$&(J
$@$J$s$G$7$g$&$+!)(J
$@$=$l$H$b!"$=$b$=$b$NA0Ds$,4*0c$$!)(J

 | |$@$7$+$7C]Fb30;K$N%b%G%k$NCf$G$O%b%G%k$NCf$G$b30$+$i8+$F$b0lCW(J$@$7$F$$$k$H(J
 | |$@;W$C$?$s$G$9$,!#!J$3$3$G>e$N<ALd$KLa$kLu$G$9!K(J
 |
 |$@0lCW$7$J$$$G$9!#(J
 |
 |$@$=$b$=$b!"(JIZF $@$NCf$G$O!"G;EY$K$D$$$F$N5DO@$O!"(JZFC $@$NCf$G$N$h(J
 |$@$&$K4JC1$K9T$+$J$$$N$G!"8D?t$N35G0<+BN$,(JV^(\Omega)$@%b%G%k$NCf(J
 |$@$G$OAjEv0c$C$?$b$N$K$J$C$F$$$k$H9M$($?$[$&$,$h$$$G$7$g$&!#(J

$@G;EY$K$D$$$F$N5DO@$G$O!V0lHL(J$@$N%b%G%k!W$G$b$=$&$G$9$,!"$3$3$G;d$N$$$C$F(J
$@$$$k$N$O!VCM#1$r$H$i$J$$%U%)!<%_%e%i!W$O!"$d$C$Q$jL5;k$C$F(J$@$3$H$J$s$G$7$g(J
$@$&$+!"$H$$$&$3$H$G$9!#(J

 | | | |$@$G$b!"@P86$5$s$N@bL@$O$=$&$$$&OC$7$G$O$J$$$h$&$G$9$,!#(J
 | | |
 | | |$@$b$A$m$s!"$=$&$$$&OC$G$O$J$$$G$9$M!#(J
 | |
 | |$@@P86$5$s$N8@$&!V%U%!%8!<$J!W$C$F$$$&$N$K$&(J$@$^$$6q9g$KA46u4V$H$J$i$J$$%*!<(J
 | |$@%W%s%;%C%H$,BP1~$7$F$?$iLLGr$+$C$?$N$K$J!"$C$F$$$&0UL#$G$9!#(J
 |
 |[a \in {x \in {0,1} | x = 0 and \phi}] $@$,A46u4V$K$b6u$K$b$J(J
 |$@$i$J$$$3$H$,$"$k!"$H$$$&0UL#$G$OBP1~$7$^(J$@$9$h!#(J

$@$@$+$i$=$l$O(J V^$@&8(J $@$N2?$KBP1~$7$F$$$k$N$G$7$g$&!)(J

 | |$@$J$k$[$I!"JY6/$K$J$j$^$9!#$F!"$3$H$O(J
 | |$@!VG$0U$N(J A $@$K$D$$$F(J not(A) or not(not(A))$@!W(J
 | |$@$O(JLJ$@$G>ZL@$G$-$J$$$3$H$,>ZL@$5$l$F$$$k$s$G$9$+!)(J
 | |$@!t>ZL@$7$h$&$H$7$F%I%D%\$K$O$^$C$?$s$G$9$,!#(J
 |
 |LJ $@$G>ZL@$G$-$J$$$3$H$,$o$+$C$F$$$^$9!#(J

$@$J$"$"$k(J$@$[$I!#(J

 | |$@;d$O!V2?$8$c%3%j%c!W$H;W$C$?$s$G$9$h!#(J
 | |$@$@$C$F@5B'$JO@M}<0(JA$@$KBP$7$F!"0z?t$,!"!V@5$7$$!W(J$@=89g$@$C$?$i!"(J
 | |[not A or A] = 1
 | |$@$K$J$C$F$$$^$9$b$N!#(J
 |
 |$@$3$NJ8Cf$N!"!V@5B'$JO@M}<0!W!"!V0z?t(J$@!W!"!V!V@5$7$$!W=89g!W$H(J
 |$@$$$&8@MU$,2?$r;X$7$F$$$k$N$+$o$+$j$^$;$s!#6H3&MQ8l$H$7$F$OJ9(J
 |$@$$$?$3$H$,$J(J$@$$I=8=$G$9!#!V@5B'!W$O(J wff, $@!V0z?t!W(J $@$O(J 
 |parameter $@$N$3$H$+$7$i!#(J

$@<:Ni$7$^$7$?!#(J
$@#4#3%Z!<%8$N2<$N$[(J$@$&$NOC$7$G$9!#(J
$@!V@5B'!W$O!V@55,!W$N4V0c$$$G!V0z?t!W$O%U%)!<%_%e%i$K8=$l$k!J@)8B$5$l$?!K(J
$@JQ?t$G!"!V@5$7(J$@$$=89g!W$OIaDL$N=89gO@$N1'Ch$+$i$NKd$a9~$_$G$9!#(J
$@!t$3$H$P$E$+$$$,%a%C%A%c$/$A$c!#(J

 | |$@$=$l$KHf$Y$?$i(J
 | |$@!VG$0U$N(J A $@$K$D$$$F(J not(A) or not(not(A))$@!W(J
 | |$@$J$s$F%I%*%C$F$3$H$J$$!"$H;W$$$^$;$s$+!)(J
 |
 |$@%I(J$@%*%C$F$3$H$"$j$^$9(J :-)$@!#(J $@$^$:$$(J principle $@$J$N$G$9$+$i!#(J

$@$G$b#6%Z!<%8$N>ZL@$rFI$`8B$j!"$=$s$J$i$=$&$$(J$@$&Cf4VO@M}$r8&5f$7$?J}$,$^(J
$@$7$d$s!"$H;W$C$?$N$G$9!#(J

 | |$@$@$+$i!VD>4Q<g5AE*=89gO@!W$O<B$O!VGSCfN)$NFH(J$@N)@-!W$J$N$+$bCN$l$J$$!"$J(J
 | |$@$s$F;W$C$F$$$k$s$G$9$,!"E*30$l$G$7$g$&$+!)(J
 |
 |$@$3$3$G8@$o$l$F$$$k!VD>(J$@4Q<g5AE*=89gO@!W$H$$$&$N$O!"Nc$NK\$N$3(J
 |$@$H$J$N$G$9$+(J?  $@$=$l$H$b!"(JV^(\omega) $@%b%G%k$N$3$H$G$9$+(J? 

$@$b(J$@$A$m$s(J V^$@&8(J $@$N$3$H$G$9!#(J
$@$D$^$j$G$9$M!"(JV^$@&8(J $@$O$"$^$j(J ZF + LJ $@$NNI$$%b%G%k$G$O$J$$$J$"!"$H;W$C$?(J
$@$o$1$G(J$@$9!#(J
$@!t2?$r$b$C$F!V8@$$!W$H$$$&$+$OFq$7$$$G$9$,!#(J
$@$=$l$G!"$I$&$;%U%)!<%7%s%0;H$&$N$J$i!VFHN)@-$N>ZL@!W(J$@$NJ}$,LLGr$$$s$H$A$c(J
$@$&$+$J!"$C$F$$$&;W$$$D$-$G$9!#(J