☆☆★ 放送大学スレ Part.241★☆★

123 ：名無し生涯学習：2014/06/16(月) 08:32:52.36 .net

>>121
ニート（N）を追加すると
∀x((Hx∧¬Jx∧¬Bx∧¬Mx∧¬Sx)→Nx)
じゃね？