An analysis and generalization of Venn's diagrammatic decision procedure

Summary

When testing logical formulae for validity by applying Venn's diagrams we are using a kind of picture writing i. e. a writing in which certain facts are represented by drawings rather than sentences. This diagrammatic decision procedure may however be translated into ordinary language. Translating for instance the respective procedure of testing the mood Darii we obtain the following reasoning.