🚀 go-pugleaf

  $@>>K\!w?t3X2J$/$:$l$G$9!#(J

$@!!5YF|Cf!"5DO@$N85$K$J$C$F$$$k(J
$@!!!VD>4Q<g5A=89gO@!W!!C]Fb30;K!!5*0K9q20=qE9(J
$@!!$rFI$s$G$_$?!#(J
$@!!(J
$@!!FI$s$G$_$F$o$+$C$?$N$O!"3^;a$N<gD%$H!";d$N<gD%$O8_$$$KJL$N2r<a>e$K$b$H$E$/$?(J
$@$a$K!"$+$_$"$C$F$$$J$+$C$?$H$$$&$3$H$G$"$k!#6qBNE*$K$O!"8e$[$I@bL@$9$k!#(J
$@!!(J
$@!!>e$NK\$O!"$$$o$f$kD>4Q<g5A=89gO@$K$D$$$F=R$Y$?$b$N$G$O$J$$!#$$$o$f$kD>4Q<g5A(J
$@!JK\$G$O!"!V8EE5E*$J!W$H=q$+$l$F$$$k$,!K$K$D$$$F$O!"$O$7$,$-$N$H$3$m$G@bL@$,$"(J
$@$k$@$1$G$"$k!#$=$l$h$j$O!"$`$7$mD>4Q<g5A=89gO@$N%b%G%k$r#Z#F#CFb$G9=C[$9$k$3$H(J
$@$G!"D>4Q<g5A$NDjM}$,!"#Z#F#C$N$I$N$h$&$JDjM}!J<g$K0LAj$K4X$9$k$b$N!K$KBP1~$9$k(J
$@$+$K$D$$$F=R$Y$i$l$F$$$k!#!JK\$G$O!"$3$l$r!VD>4Q<g5A=89gO@$H8=Be?t3X$NAj4X4X78(J
$@!W$H$$$C$F$$$k!K(J
$@!!(J
$@!!$5$F!"7A<0<g5A$HD>4Q<g5A$H$r!"#Z#F#C$N%b%G%kFb$GHf$Y$F$_$l$P!"(J
$@!VA4ITO"7k$J0LAj6u4V!W$H!V0lHL$N0LAj6u4V!W(J
$@$KBP1~$9$k!#(J
$@!!$=$NE@$KCeL\$9$k$3$H$G!"5DO@$H$J$C$F$$$kLdBj$O!"AjEv$KL@Gr$J$b$N$H$J$k!#!!(J
$@!!(J
1.$@GSCfN'(J A or Not(A)$@$d!"(JNot(A) or Not(Not(A))$@$O!"%b%G%kFb$G$O!"0LAj6u4V$NITO"(J
$@7k@-$KBP1~$9$k$N$G!"0lHL$K$O!"G'$a$i$l$J$$!#(J
$@!!$"$k#X$,!"6u$G$J$$#2$D$N8_$$$K6&DLItJ,$N$J$$3+=89g#O#1!"#O#2$NOB$H$7$FI=$o$5(J
$@$l$k$H$-!"#X$OO"7k$G$J$$$H$$$&(J
$@!!(J
2.{0,1}$@$NItJ,=89g$,(J{{},{0},{1},{0,1}}$@$GI=$o$;$J$$$H$$$&$N$b!"O"7k$J0LAj6u4V$G(J
|X$@$,(J{0,1}$@$N(Jsubset|$@$KBP1~$9$k3+=89g$,!"(J|X={}|,|X={0}|,|X={1}|,|X={0,1}|$@$KBP1~(J
$@$9$k3+=89g$NOB$GI=$o$;$J$$$3$H$K$h$k!#(J
$@!!(J
3.$@40Hw(JHeyting$@Be?t$N40Hw$O!"#Z#F#C>e$G%b%G%k$r9=C[$9$k>l9g$O!"#Z#F#C>e$G9M$($F(J
$@$$$k!#Nc$N(J P.6$@$NCm0U$O!"D>4Q<g5A>e$G$O40Hw$,$$$($J$$$H$$$&!"%a%?$HBP>]$N0c$$(J
$@$K$D$$$F$NCm0U$G$"$k!#0J9_$NJ8>O$G$O#V!J#H!K>e$K#V!J&8!K$r:n$k!"D>4Q<g5A>e$G$N(J
$@%b%G%k$N9=C[$H9M$($i$l$kOC$b$G$F$/$k$,!"$3$N>l9g$K$O&8$O#V!J#H!K>e$G40Hw$G$J$1(J
$@$l$P$J$i$J$$!#(J
$@!!(J
$@!!C]Fb$NK\$G$O!"D>4Q<g5A$N@-<A$O!"%b%G%k$X$NBP1~$K$h$C$F!"0LAj6u4V$N@-<A$H$7$F(J
$@2r<a$5$l$k!#D>4Q<g5A$K$OB>$K!"(JBKF-$@2r<a$H$+!"<B8=2DG=@-$K$h$k2r<a$,$"$k$,!"$=$l(J
$@$>$l$O!"0l1~FHN)$N$b$N$H9M$($?J}$,$h$$$h$&$@!#(J
$@!!(J
$@!!<B$N$H$3$m!"3^;a$O#V!J&8!K>e$G!"OC$r$7$F$$$k$N$KBP$7$F!";d$O<B8=2DG=@-$K$h$k(J
$@2r<a$G!"@bL@$7$?$?$a$K!"Aj8_$NM}2r$,IT==J,$H$J$j!"5DO@$,J65j$7$?!#$3$NE@$K$D$$(J
$@$F$O!";d$N@bL@$OITE,Ev$G$"$C$?!#!J4V0c$C$F$$$?$H$$$&$3$H$G$O$J$/!"0c$C$?@bL@$r(J
$@$9$k$Y$-$G$"$C$?$H$$$&0UL#$G$"$k!#!K(J
$@!!(J
$@!!$?$@!"D>4Q<g5A$N8&5fJ}K!$K$D$$$F!"#V!J&8!KEy$N%b%G%k$K$h$kJ}K!$,8=BeE*$G$"$j(J
$@!"9=@.E*$JBN7O!J0lHL$K#I#Z#F$KHf$Y$F!"=89g$r@)8B$7$F$$$k!#!K$K$D$$$F$N<B8=2DG=(J
$@@-2r<a$K4p$E$/8&5f$,!"8EE5E*$G$"$k$H$O$$$($J$$!#L\E*$,0[$J$k$+$i$G$"$k!#(J
$@!!(J
$@!!5DO@$K$D$$$F$O!";d$N<gD%$O0J>e$NJ8>O$G!"?T$/$5$l$F$$$k!#(J
$@!!$3$l0J>e$N5DO@$O!"L5MQ$G$"$k$H$*$b$o$l$k$N$G!";d$O$3$N5-;v$r$b$C$F!"5DO@$+$i(J
$@<j$r0z$/!#(J
$@!!(J
$@!!$J$*!"$3$N7o$G$O!"N6C+Bg3X$N>.NS@h@8$K$O!"$$$m$$$m$H65$($F$$$?$@$-$^$7$?!#(J
$@!!46<U$$$?$7$F$*$j$^$9!#(J
$@!!(J