原来数理逻辑是这么回事

某社会学家试图用数理逻辑来研究人和猪的关系问题。经苦思，他终于建立了以下人和猪的数学模型。

1.人是什么？

　人＝饮食+睡觉+工作

2.猪是什么？

　猪＝饮食+睡觉

于是在此模型基础上，经他推导，得出了以下结论：

　人＝猪+工作

也即人是会工作的猪。

哈哈！原来数理逻辑是这么回事。

2012年就要过去了，祝各位网友元旦快乐！