怎么样符号化:不管白猫黑猫,抓住老鼠就是好猫.

p(x):x是猫;q(x):x能抓到老鼠;r(x):x是好猫;
(任意x)p(x)∧q(x)→r(x)

8管絔渵潶渵,抓拄栳鼠┭僦〦┎素ぇ好CAT〃О

#include"iostream.h"
using namespace std;

class cat
{
public:
cat();
}

class good_cat:public cat
{
public:
good_cat();
void catch(mouse);
}

int main()
{
cat a;
good_cat b;
if(a catch a mouse)
a=b;
return 0;
}

(任意 x)((x 是 猫) 且 (x 能捉到老鼠)) ==> x 是 好猫

(任意 x)((x 是 猫) 且 (x 能捉到老鼠)) ==> x 是 好猫