Question

求大神解答，谢谢了····离散数学题目，将下列命题符号化，并构造推理证明

所有的猫都爱吃鱼，咪咪是猫，所以咪咪也爱吃鱼。（一定要大神正确解答谢谢大家了）·····

Answer 1

以下以A代表全称量词。
设F(x):x是猫，G(x):x爱吃鱼，a:咪咪。
前提：Ax(F(x)→G(x))，F(a)
结论：G(a)
证明：
1 Ax(F(x)→G(x)) 前提引入
2 F(a)→G(a) 1UI
3 F(a) 前提引入
4 G(a) 23假言三段论

Answer 2

这是最典型的三段论。。。