以下是一个JPanel的子类的paintComponent方法,该方法利用Graphics2D绘制一个正方形,正方形的位置、边长和颜色分别存于该类的成员变量lTop、edge和c中。
设F(x):x是兔子,G(x):x是乌龟,H(x,y):x比y跑得快,命题“兔子比乌龟跑得快”符号化为