有哪位大神了解Johnston图吗？主要是离散数学中应用在逻辑方面的，类似于维恩图在集合中。哪位大神了解的话，可以给我一些解释或是资料吗？
参考 Russell Johnston的Illustrating Formal Logic with Exclusion Diagrams
参考维基百科：http://commons.wikimedia.org/wiki/Category:Johnston_diagrams