利用消解原理符号化证明以下问题：（1）小李喜欢数据结构；（2）小张只喜欢容易的课程；（3）小张喜欢的课程小李都喜欢；（4）小张不喜欢的课程小李也不喜欢。证明：数据结构是容易的。

设P(x)表示x喜欢数据结构，Q(x)表示x喜欢容易的课程，如题目所给，可得：

（1）P(小李)

（2）Q(小张)

（3）∀x(Q(x)→P(x))

（4）∀x(¬Q(x)→¬P(x))

要证明数据结构是容易的，即证明∀x(P(x)→Q(x))成立。

假设存在一个人y，使得P(y)成立，但是Q(y)不成立。

根据消解原理，可以得到：

① ¬Q(y)→¬P(y)（由（4）得出）

② P(y)（假设）

根据①和②，得到¬Q(y)→¬P(y)→Q(y)（由消解原理得出）

由此可得，当P(y)成立时，Q(y)也必须成立，即∀x(P(x)→Q(x))成立。

因此，数据结构是容易的，证毕。