谢谢各位高手 人工智能

因为C是一门程序设计语言课，而所有的程序设计语言课都是需要编程序的课；
所以C是一门需要编程序的课；
因为只要是需要编程序的课，王成都喜欢，而C是一门需要编程序的课；
所以王成喜欢c这门课程。
得证！

设p为需要编程序的课，q为王成都喜欢
r为程序设计语言课，s为C语言课
证明：
已知
若p，则q
若s，则p
若r，则s
都为真，所以若s，则q。
即q为真，即王成喜欢c这门课程。证毕
再将“若，则”用逻辑运算符表示就行了。