数理逻辑习题部分解答

一、命题逻辑3．将下列命题符号化。（3）如果公用事业费用增加或者增加基金的要求被否定，那么当且仅当现有计算机设不适用的时候，才需购买一台新计算机；（5）虽然天气很好，老王还是不来；（7）停机的原因在于