问答题
给定解释I如下： （a）个体域Di为实数集合R （b）Di中特定元素=0 （c）特定函数（x，y）=x-y，x，y∈Di （d）特定谓词（x，y）：x=y，（x，y）：x＜y，x，y∈Di 说明以下公式在I下的含义，并指出各公式的真值：
xy（G（f（x，y），a）→F（x，y））
问答题 xy（G（x，y）→￢F（f（x，y），a））
问答题 xy（F（f（x，y），a）→G（x，y））
问答题 xy（G（x，y）→￢F（x，y））
=0
（x，y）=x-y，x，y∈Di
（x，y）：x=y，
（x，y）：x＜y，x，y∈Di
x