proof

Deductive Reasoning and Logical Connectives

語意邏輯(Sentential Logic)

演繹推理及邏輯運算(運算子連接運算元)

範例：演繹推理

如果今天天氣晴朗，我們就去踏青。
今天是晴天。
因此，我們會去踏青。

範例：使用代數符號表達語句

T 代表 今天天氣晴朗
G 代表 我們就去踏青

T ∨ ¬T.
T.
∴, G.

邏輯運算子

符號　　意義
－－　　－－
∨ 　　　或
∧ 　　　且
¬ 　　　非

從語句中分析邏輯形式

俊威工作沒做好而被老闆開除。

J 代表 俊威工作沒做好
W 代表 俊威被老闆開除

J ∧ W.

從邏輯形式還原(代換；代數轉換)語句

¬J ∧ ¬W

J 代表 俊威工作沒做好
W 代表 俊威被老闆開除

俊威工作有做好，沒被老闆開除。

uncategorized

會計的名詞解釋及意義

會有「會合、總計」的意思，計有「劃計、小計」的意思，會計有「將劃計會合」的意思。
會計的英文是 Accounting，Accounting 是 Account 的分身，Account 有「帳戶、負責」的意思。

想像有一群朋友聚餐，每個人(帳戶)各自負責，分開解釋自己應負擔的金額，得到小計，這樣的過程是「分析」，加總後由其中一人去結帳；分析使我們更清楚帳目的細節，計算效率也更高，像是一台多核心計算機。

歸納以上的結論我們發現，會(合)計(分)是對帳戶責任的分析(治)，且處理帳目問題的步驟為「分、治、合」，這樣的方法能讓我們把龐大的帳目整理得有秩序。
有秩序的帳目{方便我們「辨認」各經濟體的責任，且依統一的會計規則「衡量」帳目金額，並作為經濟體交易的「紀錄」，使得各經濟體能有效「溝通」}，達到會計的目的，為各自的帳戶負責。