我是一个新手，问一个常识性问题，各位帮帮忙啊

[xiaolinxianju]

Wedge[x_?NumericQ ,y_?NumericQ]:=x y ;
Wedge[arg1_,y_?NumericQ]:=y arg1;
Wedge[x_?NumericQ, arg2_]:=x arg2;
Wedge[x_?NumericQ arg1_,y_?NumericQ]:=x y arg1;

各位帮帮忙，上面这四句话是什么意思？能帮我分析一下运行的结果吗？谢谢大家了！Wedge是自己定义的一个东西，尤其x_?NumericQ 是什么意思？好像是匹配的意思，但是具体的不是很清楚。
还有一个问题就是Mathematica中经常有“x_ y_ 　”这种表达方式，呵呵，不知道是不是有什么特别的含义？