(\exists x. P(x)) \rightarrow Q \Longleftrightarrow \forall x. (P(x) \rightarrow Q)
Embed the image to your blog in HTML, Markdown, Textile, BBCode.
Recent Referers:
  1. http://formula.s21g.com/?(%5Cexists%20x.%20P(x))%20%5Crig...
  2. https://formula.s21g.com/?(%5Cexists%20x.%20P(x))%20%5Cri...
  3. http://maoe.hatenadiary.jp/entry/20110531/1306800743?fbcl...
  4. http://maoe.hatenadiary.jp/category/haskell?page=1323185162
  5. http://maoe.hatenadiary.jp/category/Haskell?page=1315706015