🚀 go-pugleaf

$@!J>.NS$5$s$r8f4|BT$G$7$g$&$,!K3^(J(ryu@sys.titech.ac.jp)$@$G$9!#(J

In article <SHINGO.92Nov27194549@ipc02.rtri.or.jp> shingo@ipc02.rtri.or.jp (Shingo MATSUMOTO) writes:
 |
 |f:A->Bool$@$N$H$-(J
 |f_inverse({true})$@$O(J
 |A$@$NItJ,%/%i%9$G$"$k$,!"(J
 |({0,1}$@$N$h$&$K!"MWAG$r(J$@L@<($9$kJ}K!$O!"(J
 |Bool$@$X$N4X?t$K$h$kDj5A$H$$$($k!#(J)
 |$@5U$O$$$($J$$$H$$$&$3$H$G$9!#(J
 |
 |b$@$,(Ja$@$NItJ,%/(J$@%i%9$H$7$F(J
 |$@$"$k(Jf:A->Bool$@$r$H$C$F(J
 |f_inverse({true})$@$H(Jb$@$,F1$8301d$r$b$D$H$O$+$.$i$J$$(J
 |$@$H$$$&$3$H$G(J$@!"$?$H$($P!"8EE5=89gO@$G$O(J
 |f(x)= true (x in b)
 |    = false (Not(x in b))
 |$@$G>l9gJ,$1$9$k$3$H$G!"(Jb$@$KBP1~$9$k(Jf$@$,$D$/$l$^$9$,(J
 |$@D>4Q<g5A$G$OGSCfN'$,;H$($J$$$N$G(J
 |$@$$$D$b(Jf$@$,B8:_$9$k$H$O8B$i$J$$$?$a$H$$(J$@$&$3$H$G$9!#(J
 |
 |$@%/%i%9$r=89g$HFI$_BX$($l$P!"F1$8$3$H$,$$$($k$G$7$g$&!#(J

$@$($C!)(J
Boolean valued model $@$G$O$=$N(J f $@$r$+$-=8$a$F(J Universe $@$K$7$F$$$k$s$G$9(J
$@$h!#$=$N(J f $@$,B8:_$7$J$$!V$b$N!W$J$s$F$b$H$+$i4X78$J(J$@$$$N$G$O!#(J

 |$@$5$F!"<ALd$J$N$G$9$,(J
 |$@&8$H$7$F0LAj6u4V$N3+=89g$NB+$r$H$k$H$7$^$9!#(J
 |$@3+=89g$OM-8B2s$N6&(J$@DL=89g$HG$0U2s$NOB=89g$NA`:n$G3+=89g$N>r7o$rJ]$A$^$9$,(J
 |$@$3$l$r;H$C$FLLGr$$Nc$r9M$($F$_$^$7$?!#(J
 |$@Nc$((J$@$P(J
 |Not(All x (P(x))) = 1
 |$@$G(J
 |Exist x (Not (P(x))) = 0
 |$@$H$J$k$h$&$J(JP(x)$@$O<B:]$K$"$k$N$G$7$g$&$+(J$@!#(J

$@$3$l$OA4A3OC$7$,D7$s$8$c$C$F(J $@&X(J-$@L5L7=b$NOC$7$G$O$J$$$G$7$g$&$+!#(J

 |$@$I$&$7$F>e$N$h$&$J$3$H$r;W$$IU(J$@$$$?$+$H$$$&$H(J
 |$@>e$N<0$r&8$,(J[0,1]$@$H$7$F!"%b%G%k>e$G9M$($F(J
 |x$@$,M-M}?t>e$rF0$-(J
 ||P(x)|$@$,M-M}?t$r=|$$(J$@$?3+=89g$@$H$9$k$H!"(J

$@$=$l3+=89g$K$J$k$s$G$9$+!)%6%j%9%-!<0LAj$@$H$7$?$iL58B$N@Q$G$9$h!#(J

$@$H$$$&Lu$G;d(J$@$O$=$s$J(J P(x) $@$r4^$`$h$&$J=89gO@$N%b%G%k$OB8:_$7$J$$$H$_$?(J
$@$,!"$5$F!">.NS$5$s$+$i$N@52r$O!"!"!"(J