试用凡恩图判定下列三段论是否有效