О построении исчисления высказываний методом диаграмм Веннастатья