數理邏輯是用形式語言刻畫日常語言和用形式系統研究推理的科學，其基礎包括集合論命題邏輯和謂詞邏輯。它是一切科學的基礎思維工具，即任何科學都是應用邏輯。藉助數理邏輯的思想和方法，能明顯優化會計處理程序和會計教學效果，提高會計語言表達的精確、清晰程度。
會計事項如何抽象成函數
會計事項及其組合事項、會計要素及其組合是會計處理的基本單位，它們的計量可以抽象成函數(function)。
函數表達式為f（x）或y=f（x）。從廣義上看，個體變項符號（x、y、z,…）、個體常項符號（a、b、c,…）或其與函數符號（f、g、h, …）構成的表達式，都是函數。
函數的值是個體，在謂詞邏輯系統中將其作為個體變項符號或個體常項符號，即將其稱之為項（terms）。項是由個體變項、個體常項符號或其與函數符號有限次生成的符號串。如普通年金現值係數（p/A,I,n）,為函數或項（1＋i）-n，可用f（x）表示。於是，普通年金現值函數p/（p/A,I,n）,即p×（1＋i）-n，可用f(A,f（x）)表示。而（p/A,I,n），又是一複合函數，即（1＋i）的冪為-n的函數。
謂詞邏輯在把命題邏輯作為自己子系統的基礎上，著重研究原子命題形式及其推理。它把原子命題形式的結構分析成個體符號、謂詞符號、函數符號和量詞符號等成分，為研究和解決個體事物及其複合體之間的邏輯性質和關係，提供超強的應用工具。
會計處理模式將各個會計交易或事項濃縮在各類會計分錄之中，這十分類似於謂詞邏輯的原子命題形式。因而，會計分錄完全可以抽象成謂詞公式。謂詞公式除上述個體符號、函數符號外，還包括：表示命題形式之間性質和關係的聯結詞符號（∧，┑，→，∨，→，=），量詞符號（∀， ∃）。
會計分錄被代之以謂詞邏輯符號，能被轉換成足夠清晰的謂詞邏輯項和謂詞公式。
案例解析
現援引《2018年註冊會計師全國統一考試輔導教材——會計》【例18-2】，簡要作一演示。該例為一項涉及以公允價值計量與補價的非貨幣性資產交換業務，涉及的項目包括（數額見謂詞公式分錄）：甲公司換出的一項無形資產、換入的乙公司一項固定資產；交換資產分別包括賬面原價及累計攤銷與累計折舊，各有其公允價值，銷售固定資產和無形資產均適用規定的稅率17％和6％，另乙方向甲方支付了補價。
首先，用x（x1、x2…）、y(y1、y2…)代表借方會計科目, 其中，x（x1、x2…）代表甲公司借方換入的固定資產的公允價值、應交稅費——應交增值稅（進項稅額）；借方科目的累計攤銷（通常涉及資產減值準備），屬於甲公司換出無形資產賬面原價的抵減項，用y(y1、y2…)表示。
以z(z1、z2…)代表甲公司貸方會計科目，其中包括無形資產賬面原價(乙公司為固定資產清理)、應交稅費——應交增值稅（銷項稅額）等科目，甲公司換出的無形資產如有資產處置損益，為正數則屬貸方科目，為負數則屬借方科目，為零則無需記此科目（以賬面價值計量即屬此情形）；另外，涉及補價或固定資產清理費用等情形，需列銀行存款科目。
其次，用函數符號f表示“＋”。於是，甲公司借方金額為x＋y，其函數或項為f(f（x）,f（y）)。甲公司貸方金額的函數或項為f(y）。
再次，以謂詞符號D表示“…是借方的項”，以謂詞符號∧表示“並且”，於是，便構成甲公司借方金額的謂詞公式：Df（x）∧Df（ y）。再以謂詞符號R表示“…是貸方的項”,便構成甲公司貸方金額的謂詞公式：Rf(y）。另外，引入關係謂詞“＝”，表示借、貸兩方金額相等，於是，上述兩個謂詞公式與關係謂詞“＝” 相結合，就構成了表達借貸關係的謂詞公式：(Df（x ）∧Df（y）)＝(Rf(y））。
至此,函數符號和謂詞符號的根本區別十分明瞭：前者代表個體的對應（運算）規則，函數值是個體即項；後者是個體的性質或關係，其形態是謂詞公式。如陳述句“6大於2＋3”，其中的“大於”是謂詞符號，“＋”是函數符號，其函數或項為：f(2,3)。如以H表示謂詞“大於”，該語句的謂詞公式為：H(6,f(2,3))。
謂詞公式能非常清晰地刻畫和表達語句的邏輯意義，能夠有效地消除有關西式會計語言的晦澀、模糊和歧義，賦予其精確、簡明的外形。
如果引入全稱量詞(∀),上述謂詞公式的項就被替換成個體符號x、y、z，函數符號f就被替換成全稱量詞符號(∀)。於是，謂詞公式(Df（x）∧Df（y）)＝(Rf(y））就轉換為：∀x∀y∀z(( D( x)∧D(y))＝(R(z)）)，讀為：對於所有的個體x、y和z而言，如果x是（屬於）D並且y是（屬於）D，當且僅當z是（屬於）R。
上述兩種不同的謂詞公式各有不同的功能：帶函數符號的謂詞公式主要用於計算借貸方的數值，帶量詞的謂詞公式則主要用於在借貸方顯示所有會計科目及其一一對應關係，通常需將二者予以綜合運用。現採用T形記賬格式，將轉換成謂詞公式的會計分錄樣式顯示如下(個體變項符號之後附隨相應的會計科目編碼)：
甲公司的會計分錄樣式：
D:x1 (1601) 7550000
R:z1(1701) 9000000
X2 (22210101) 1283500
z2(22210103 ) 480000
X3(1002) 450000
z3(6115) 1303500
Y1 (1702) 1500000
乙公司的會計分錄樣式：
D:x1 (1606) 7000000
R:z (1601) 10000000
X2 (1602)
D:x1 (1701) 8000000
R:z1 (1606) 7000000
X2 (22210101) 480000
z2 (1002) 450000
X3 (6115) 253000
z3 (22210103) 1283000
在這裡相信有許多想要學習會計的同學，大家可以關注小編頭條號，私信【學習】即可免費領取一整套系統的會計學習教程。
閱讀更多 會計學堂 的文章
