所有的三段论都可以用文恩图来分析其有效性对吗