假言三段论的假设[推荐]

至大秦

厉害 如果p那么q的形式是标准的真值函数论证逻辑。感觉对这类表述的理解又加深了一点。