严格定义的方法是在一定假设的前提下形成的，它认为系统的所有需求都能被　　【20】　　。

两次运行下面的程序，如果从键盘上分别输入3和2，则输出结果是( )。
#include＜stdio.h＞
main()
int x；
scanf("%d"，&x)；
if(x++＞2)printf("%d"，x)；
else printf(“%d\n",x--)；

A．4和3

B．4和2

C．4和1

D．3和2