如果一个三段论的结论为a判断是否存在