tag:blogger.com,1999:blog-2819327489527180569.post7003615233122686543..comments2017-05-23T16:22:27.610+02:00Comments on Out of the Box: Venn diagrams and Categorical Propositions in F#Tonino Luccahttp://www.blogger.com/profile/13458215940711528728noreply@blogger.comBlogger2125tag:blogger.com,1999:blog-2819327489527180569.post-48486387447541435012015-06-23T14:28:54.103+02:002015-06-23T14:28:54.103+02:00? Not sure I understand your comment. Picture htt...? Not sure I understand your comment. Picture http://3.bp.blogspot.com/-IvIlpDkm6CE/UyxkJzQZdDI/AAAAAAAABlM/PI9LEFv5QIA/s3200/No_M_Is_P.png. (No M is P and No P is M) means that there is no element in M which is also in P, therefore the area that shows the intersection between them is filled with black because it is empty. No contradiction here. Tony Xhttp://www.blogger.com/profile/13458215940711528728noreply@blogger.comtag:blogger.com,1999:blog-2819327489527180569.post-22410765342619767562015-04-16T09:38:55.601+02:002015-04-16T09:38:55.601+02:00In the first figure last common set venn diagram. ...In the first figure last common set venn diagram. How is it no P & and no M. it should be both by the set theory right?<br /><br /><a href="http://creately.com" rel="nofollow">creately</a><br />Shalin Siriwaradhanahttp://www.blogger.com/profile/01134034541170679170noreply@blogger.com