程序代码：

#include<stdio.h>
main()
{
    int a,m,k,i,t,b;
    m>=6;
    for(a=1;a<m;a+=2)
    {
        k=sqrt(m);
        for(i=2;i<=k;k++)
            if(a%i==0)
                break;
            if(i>=k+1)
    }
         t=sqrt(m-a);
          for(b=2;b<=t;t++)
            if((m-a)%b==0)
                break;
            if(b>=t+1)
        printf("命题成立\n");
   else
        printf("命题不成立\n");
}