2011-09-05から1日間の記事一覧

量化子に関するド・モルガンの法則

新井紀子 数学は言葉 を読んでたら、 量化子に関するド・モルガンの法則 というのが出てきました。 ∀x¬P(x) ¬∃xP(x) ∃x¬P(x) ¬∀xP(x) 同値だそうです。理由は、すべて、は、かつ、の連なりで、存在は、または、の連なりだから。 なるほど。 以前書いたド・モ…