苏格拉底是人。
所有的人都是凡人。
所以苏格拉底也是个凡人。
——典型的三段论
假设我们定义了一个表示交通工具的类，它具有用来记录交通工具的轮子数量和最大载客数量的实例变量。这个类还具有访问器和修改器方法。想象一下，如果我们要定义一个表示汽车的类，它的实例变量和方法与交通工具类中的实例变量和方法类似。另外，我们的汽车类还有一些新添加的实例变量，用来表示像油箱中的燃油量和车牌号之类的属性，并且还具有一些新添加的方法。与在汽车类中重复交通工具类的实例变量和方法的定义不同，我们可以使用Java的继承机制，让汽车类继承交通工具类的所有实例变量和方法。
