放寒假之前就一直和Bideyore讨论这个逻辑论证 嘿嘿 奇怪我们为什么这么无聊吧?其实这可不是无聊 至于其意义 自己想去 言多必失...现在完成该论证:
心忧炭贱愿天寒
今天把结果公布一下 我认为它的逻辑诠释应该是:
任意给一个生物体 假设它同时有两个强烈的愿望 并且分别导致这两个愿望的两个充要条件相悖的时候 那么我们就说该生物体已经是心忧炭贱愿天寒的状态
以程序语言表述:
逻辑论证到此完毕!
这就是我们要做的 现在我们真正的明白了心忧炭贱愿天寒是什么意思 并且知道了怎么用 也知道了如何定义一个人是否到了心忧炭贱愿天寒的状态 什么样的人才是心忧炭贱愿天寒:)
其实这个就是我一直在想的逻辑形式化的一种方式
不过 现在可能你也猜到了平时我和Bideyore在一起休闲的时候都在谈些什么了吧:)我们根本不会象一些同学一样在一起讨论游戏装备和游戏攻关技巧的 我们在玩的是这种 这才是真正的消遣...
以后陆续我都会把我们讨论的话题发上来的 只要不涉政的 都会发上来:)
心忧炭贱愿天寒
今天把结果公布一下 我认为它的逻辑诠释应该是:
任意给一个生物体 假设它同时有两个强烈的愿望 并且分别导致这两个愿望的两个充要条件相悖的时候 那么我们就说该生物体已经是心忧炭贱愿天寒的状态
以程序语言表述:
include <stdio.h>
include "愿望条件函数的头文件"
int main(void)
{
愿望 第一, 第二;
printf("\n请输入您的第一个愿望?:");
scanf("%愿望形式", &第一);
printf("\n请输入您的第二个愿望?:");
scanf("%愿望形式", &第二);
if(愿望条件(第一)==愿望条件(第二))
printf("\n恭喜!您还没有心忧炭贱愿天寒");
else
printf("\n我靠!您已经心忧炭贱愿天寒");
return 0;
}
include "愿望条件函数的头文件"
int main(void)
{
愿望 第一, 第二;
printf("\n请输入您的第一个愿望?:");
scanf("%愿望形式", &第一);
printf("\n请输入您的第二个愿望?:");
scanf("%愿望形式", &第二);
if(愿望条件(第一)==愿望条件(第二))
printf("\n恭喜!您还没有心忧炭贱愿天寒");
else
printf("\n我靠!您已经心忧炭贱愿天寒");
return 0;
}
逻辑论证到此完毕!
这就是我们要做的 现在我们真正的明白了心忧炭贱愿天寒是什么意思 并且知道了怎么用 也知道了如何定义一个人是否到了心忧炭贱愿天寒的状态 什么样的人才是心忧炭贱愿天寒:)
其实这个就是我一直在想的逻辑形式化的一种方式
不过 现在可能你也猜到了平时我和Bideyore在一起休闲的时候都在谈些什么了吧:)我们根本不会象一些同学一样在一起讨论游戏装备和游戏攻关技巧的 我们在玩的是这种 这才是真正的消遣...
以后陆续我都会把我们讨论的话题发上来的 只要不涉政的 都会发上来:)
影片《独立日》中总统
反驳和戳穿 难得糊涂


2006/02/04 21:07 | by 


那偶不是经常这么惨???