🚀 go-pugleaf

$@>.NSAo(J@$@N6C+Bg3X$G$9!#(J

In article <RYU.92Nov6133515@sysipi.sys.titech.ac.jp> ryu@sys.titech.ac.jp (ryu) writes:

 |$@$b$A$m$s$G$9!#8EE5O@M}$G$O#1$N$_$,!V@5$7$$(J$@!W$7!V@5$7$$$+@5$7$/$J$$$+!W(J
 |$@$O>o$K@5$7$$$N$G$9$+$i$M!#(J
 |Ea = 1 $@$H$J$i$J$$$b$N$b4^$a$F9M$($k!"$F$3(J$@$H$OD>4Q<g5A$H$O4X78$J$$$s$G(J
 |$@$9$+!)(J

$@4X78$"$j$^$;$s!#%V!<%kBe?tCM$N=89gO@$G$b!"(JEa = 1 $@$G$J$$$b$N(J
$@$r(J$@4^$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

 | |$@%b%G%k$NCf$G8+$F2?8D$"$k$+$H$$$&$N$H!"%b%G%k$r30$+$i8+$?;~2?(J
 | |$@8D$K8+$($k$+!"$H$$$&$N$,0lHL$K$O(J$@0[$J$k$N$O!"%b%G%k$NM}O@$K$*(J
 | |$@$$$F$OA4$/Ev$?$jA0$N$3$H$G!"IT;W5D$G$b$J$s$G$b$J$$$3$H$G$9!#(J
 |
 |$@$^(J$@$"!"%9%3!<%l%`$N5UM}$J$s$+$O$=$l$,5UM}$G$"$k$C$F$3$H$,!"5UM}$J$s$@$H(J
 |$@$O;W$$$^$9!#(J
 |$@$7$+$7C]Fb30;K$N(J$@%b%G%k$NCf$G$O%b%G%k$NCf$G$b30$+$i8+$F$b0lCW$7$F$$$k$H(J
 |$@;W$C$?$s$G$9$,!#!J$3$3$G>e$N<ALd$KLa$kLu$G$9(J$@!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$$(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$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(J$@$9$M!#(J
 |
 |$@@P86$5$s$N8@$&!V%U%!%8!<$J!W$C$F$$$&$N$K$&$^$$6q9g$KA46u4V$H$J$i$J$$%*!<(J
 |$@%W%s%;%C%H$,BP(J$@1~$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(J$@$K$b$J(J
$@$i$J$$$3$H$,$"$k!"$H$$$&0UL#$G$OBP1~$7$^$9$h!#(J

 | | |[1] $@$,$$$($J$$$N$J$i$P!"(Jnot(A) or not(not(A)) $@$,0lHL$K=P$F$-$?$H$7$F$b(J
 | | |$@JL$K:$$i$J$$$+$i$G$9!#(J
 | |
 | |$@$=$s$J$3$H$"$j$^$;$s!#:$$j$^$9!#(J$@$J$<$J$i!"(J
 | |  $@!VG$0U$N(J A $@$K$D$$$F(J not(A) or not(not(A))$@!W(J
 | |$@$bD>4Q<g5AO@M}$K$*$$$FG'$a$k$3$H$N$G(J$@$-$J$$(J principle $@$@$+$i(J
 | |$@$G$9!#GSCfN'$h$j$b<e$$(J principle $@$G$9$1$I$M!#GSCfN'$+$iF3$+(J
 | |$@$l$k(J principle $@$G!"GSCfN'$h$j$O<e$$$1$l$I$b!"G'$a$k$H$^$:$$(J 
 | |principle $@$OB>$K$b$?$/$5$s$"$j$^$9!#(J
 |
 |$@$J$k(J$@$[$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(J$@$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(J$@$+$C$F$$$^$9!#>ZL@$NJ}K!$O2?DL$j$b(J
$@CN$i$l$F$$$F!"Nc$($P!">ZL@O@E*$JJ}K!$G<($9$3$H$b$G$-$k$N$G$9(J
$@$,!"%O(J$@%$%F%#%s%0Be?t$rMQ$$$?0UL#O@$rMxMQ$9$k$N$,3d9g4JC1$+$H(J
$@;W$$$^$9!#9M$($d$9$$=j$G!"(JR ($@<B?tD>@~(J) $@$N3+=89g(J$@7O$G$b;H$($P(J
$@$9$0$G$-$^$9!#$"$H!"$b$A$m$s!"(JKripke semantics $@$G$d$C$F$b$$(J
$@$$$G$9$7!#(J

 |$@;d$O!V2?$8$c%3(J$@%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=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!W!"!V!V@5$7$$!W=89g!W$H(J
$@$$$&8@MU$,(J$@2?$r;X$7$F$$$k$N$+$o$+$j$^$;$s!#6H3&MQ8l$H$7$F$OJ9(J
$@$$$?$3$H$,$J$$I=8=$G$9!#!V@5B'!W$O(J wff, $@!V0z?t!W(J $@$O(J 
parameter $@$N$3$H$+$7$i!#(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(J$@%*%C$F$3$H$J$$!"$H;W$$$^$;$s$+!)(J

$@%I%*%C$F$3$H$"$j$^$9(J :-)$@!#(J $@$^$:$$(J principle $@$J$N$G$9$+$i!#(J
 
 |$@$@$+(J$@$i!VD>4Q<g5AE*=89gO@!W$O<B$O!VGSCfN)$NFHN)@-!W$J$N$+$bCN$l$J$$!"$J(J
 |$@$s$F;W$C$F$$$k$s$G$9$,!"E*30$l$G(J$@$7$g$&$+!)(J

$@$3$3$G8@$o$l$F$$$k!VD>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? $@$=$l(J
$@$H$b!"7A<0E*BN7O(J IZF $@$r;X$7$F$$$k$N$G$9$+(J? 
$@$^$?!"$3$NJ8A4BN$N0UL#$,(J$@$h$/$o$+$i$J$$$N$G$9$,!#(J
--
			$@N6C+Bg3XM}9)3XIt?tM}>pJs3X2J(J    $@>.NS(J  $@Ao(J
			satoshi@whale.ryukoku.ac.jp
			0775-43-7523($@3X2J;vL3<<(J) 0775-43-7528($@8&5f<<(J)
			0775-43-7524(FAX)