主题：【原创】逻辑的力量（0）：引子 -- 滕诺

重大新闻：奥巴马的儿子全都是基地组织成员！

因为他没有儿子。上面这句话，从逻辑的角度，是真的。上面这句话，可以用描述逻辑（一阶逻辑的一个变种）写为{Obama} -> \forall hasSon.AlQaedaMember。我们知道{Obama}-> \forall hasSon.⊥ （没有儿子），可以推理出任意的{Obama} -> \forall hasSon.C，C可以是变形金刚或者外星人。

之所以想到这个 ,是看到《墨西哥“外星婴儿”现形记》（科学松鼠会），里面提到一个似是而非的说法

这句话，逻辑上一点错都没有，虽然按常识，非常之误导。媒体宣传，往往精于此道，比如说“达赖在50年代中国入侵前是国家领导人”，但是它不说，达赖是*中国的*领导人（人大副委员长）。所谓“事实，只有事实”，就是这样用来洗脑的。