看不見妻子
公式 (數理邏輯) - 維基百科,自由的百科全書一個男人周五下午離開家去上班。當天是發薪日,因此他沒有回家,整個周末在外面 與朋友們狂歡,并花光了他的全部薪水。 周日晚上他終于回到家里后,火冒三丈的妻子正等著他,連珠炮似的對他的所作所為 罵了將近一個小時。最后,妻子停止了喋喋不休的嘮叨,問他:「要是你也連續三天看不 到我,你作何感想?」 他回答:在 數理邏輯 中, 公式 是表達 命題 的形式語法對象,除了這個命題可能依賴於這個公式的 自由變數 的值之外。 公式精確定義依賴於涉及到的特定的形式邏輯,但有如下一個非常典型的定義(特定於 一階邏輯 ):公式是相對於特定 語言 而定義的 ......
全文閱讀