一、会计分录的谓词公式
数理逻辑是用形式语言刻画日常语言和用形式系统研究推理的科学,其基础包括集合论命题逻辑和谓词逻辑。
它是一切科学的基础思维工具,即任何科学都是应用逻辑。
借助数理逻辑的思想和方法,能明显优化会计处理程序和会计教学效果,提高会计语言表达的精确、清晰程度。
会计事项如何抽象成函数
会计事项及其组合事项、会计要素及其组合是会计处理的基本单位,它们的计量可以抽象成函数(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
在这里相信有许多想要学习会计的同学,大家可以关注小编头条号,私信【学习】即可免费领取一整套系统的会计学习教程。
二、科目代码
一、资产类 1 1001 库存现金 2 1002 银行存款 3 1003 存放中央银行款项(银行专用) 4 1011 存放同业(银行专用) 5 1015 其他货币资金 6 1021 结算备付金(证券专用) 7 1031 存出保证金(金融共用) 8 1051 拆出资金(金融共用) 9 1101 交易性金融资产 10 1111 买入返售金融资产(金融共用) 11 1121 应收票据 12 1122 应收账款 13 1123 预付账款 14 1131 应收股利 15 1132 应收利息 16 1211 应收保户储金(保险专用) 17 1221 应收代位追偿款(保险专用) 18 1222 应收分保账款(保险专用) 19 1223 应收分保未到期责任准备金(保险专用) 20 1224 应收分保保险责任准备金(保险专用) 21 1231 其他应收款 22 1241坏账准备 23 1251 贴现资产(银行专用) 24 1301 贷款(银行和保险共用) 25 1302 贷款损失准备(银行和保险共用) 26 1311 代理兑付证券(银行和保险共用) 27 1321 代理业务资产 28 1401 材料采购 29 1402 在途物资 30 1403 原材料 31 1404 材料成本差异 32 1406 库存商品 33 1407 发出商品 34 1410 商品进销差价 35 1411 委托加工物资 36 1412 包装物及低值易耗品 37 1421 消耗性生物资产(农业专用) 38 1431 周转材料(建造承包商专用 ) 39 1441 贵金属(银行专用) 40 1442 抵债资产(金融共用) 41 1451 损余物资(保险专用) 42 1461 存货跌价准备 43 1511 独立账户资产(保险专用) 44 1521 持有至到期投资 45 1522 持有至到期投资减值准备 46 1523 可供出售金融资产 47 1524 长期股权投资 48 1525 长期股权投资减值准备 49 1526 投资性房地产 50 1531 长期应收款 51 1541 未实现金融收益 52 1551 存出资本保证金(保险专用) 53 1601 固定资产 54 1602 累计折旧 55 1603 固定资产减值准备 56 1604 在建工程 57 1605 工程物资 58 1606 固定资产清理 59 1611 融资租赁资产(租赁专用) 60 1612 未担保余值(租赁专用) 61 1621 生产性生物资产(农业专用) 62 1622 生产性生物资产累计折旧(农业专用) 63 1623 公益性生物资产(农业专用) 64 1631 油气资产(石油天然气开采专用) 65 1632 累计折耗(石油天然气开采专用) 66 1701 无形资产 67 1702 累计摊销 68 1703 无形资产减值准备 69 1711 商誉 70 1801 长期待摊费用 71 1811 递延所得税资产 72 1901 待处理财产损益二、负债类 73 2001 短期借款 74 2002 存入保证金(金融共用) 75 2003 拆入资金(金融共用) 76 2004 向中央银行借款(银行专用) 77 2011 同业存放(银行专用) 78 2012 吸收存款(银行专用) 79 2021 贴现负债(银行专用) 80 2101 交易性金融负债 81 2111 卖出回购金融资产款(金融共用) 82 2201 应付票据 83 2202 应付账款 84 2205 预收账款 85 2211 应付职工薪酬 86 2221 应交税费 87 2231 应付股利 88 2232 应付利息 89 2241 其他应付款 90 2251 应付保户红利(保险专用) 91 2261 应付分保账款(保险专用) 92 2311 代理买卖证券款(证券专用) 93 2312 代理承销证券款(证券和银行共用) 94 2313 代理兑付证券款(证券和银行共用) 95 2314 代理业务负债 96 2401 预提费用 97 2411 预计负债 98 2501 递延收益 99 2601 长期借款 100 2602 长期债券 101 2701 未到期责任准备金(保险专用) 102 2702 保险责任准备金(保险专用) 103 2711 保户储金(保险专用) 104 2721 独立账户负债(保险专用) 105 2801 长期应付款 106 2802 未确认融资费用 107 2811 专项应付款 108 2901 递延所得税负债三、共同类 109 3001 清算资金往来(银行专用) 110 3002 外汇买卖(金融共用) 111 3101 衍生工具 112 3201 套期工具 113 3202 被套期项目四、所有者权益类 114 4001 实收资本 115 4002 资本公积 116 4101 盈余公积 117 4102 一般风险准备(金融共用) 118 4103 本年利润 119 4104 利润分配 120 4201 库存股五、成本类 121 5001 生产成本 122 5101 制造费用 123 5201 劳务成本 124 5301 研发支出 125 5401 工程施工(建造承包商专用) 126 5402 工程结算(建造承包商专用) 127 5403 机械作业(建造承包商专用)六、损益类 128 6001 主营业务收入 129 6011 利息收入(金融共用) 130 6021 手续费收入(金融共用) 131 6031 保费收入(保险专用) 132 6032 分保费收入(保险专用) 133 6041 租赁收入(租赁专用) 134 6051 其他业务收入 135 6061 汇兑损益(金融专用) 136 6101 公允价值变动损益 137 6111 投资收益 138 6201 摊回保险责任准备金(保险专用) 139 6202 摊回赔付支出(保险专用) 140 6203 摊回分保费用(保险专用) 141 6301 营业外收入 142 6401 主营业务成本 143 6402 其他业务成本 144 6405 营业税金及附加 145 6411 利息支出(金融共用) 146 6421 手续费支出(金融共用) 147 6501 提取未到期责任准备金(保险专用) 148 6502 提取保险责任准备金(保险专用) 149 6511 赔付支出(保险专用) 150 6521 保户红利支出(保险专用) 151 6531 退保金(保险专用) 152 6541 分出保费(保险专用) 153 6542 分保费用(保险专用) 154 6601 销售费用 155 6602 管理费用 156 6603 财务费用 157 6604 勘探费用 158 6701 资产减值损失 159 6711 营业外支出 160 6801 所得税费用 161 6901 以前年度损益调整
三、商业银行科目和编号
资产类 | 负债类 | ||||
顺序号 | 编号 | 会计科目 | 顺序号 | 编号 | 会计科目 |
1 | 101 | 现金 | 28 | 201 | 活期存款 |
2 | 102 | 银行存款 | 29 | 205 | 定期存款 |
3 | 103 | 贵金属 | 30 | 211 | 活期储蓄存款 |
4 | 111 | 存放中央银行款项 | 31 | 215 | 定期储蓄存款 |
5 | 112 | 存放同业款项 | 32 | 221 | 财政性存款 |
6 | 113 | 存放联行款项 | 33 | 231 | 向中央银行借款 |
7 | 121 | 拆放同业 | 34 | 232 | 同业存放款项 |
8 | 122 | 拆放金融性公司 | 35 | 233 | 联行存放宽限 |
9 | 123 | 短期贷款 | 36 | 241 | 同业拆入 |
10 | 124 | 中长期贷款 | 37 | 242 | 金融性公司拆入 |
11 | 125 | 抵押贷款 | 38 | 243 | 应解汇款 |
12 | 126 | 贴现 | 39 | 244 | 汇出汇款 |
13 | 127 | 预期贷款 | 40 | 251 | 保证金 |
14 | 129 | 贷款呆账准备 | 41 | 252 | 本票 |
15 | 131 | 进出口押汇 | 42 | 261 | 应付利息 |
16 | 132 | 应收利息 | 43 | 262 | 其他应付款 |
17 | 138 | 坏账准备 | 44 | 263 | 应付工资 |
18 | 139 | 其他应收款 | 45 | 264 | 应付福利费 |
19 | 141 | 短期投资 | 46 | 265 | 迎角税金 |
20 | 142 | 长期投资 | 47 | 266 | 应付利润 |
21 | 151 | 固定投资 | 48 | 267 | 预提费用 |
22 | 152 | 累计折旧 | 49 | 271 | 长期借款 |
23 | 153 | 固定资产清理 | 50 | 272 | 发行债券 |
24 | 154 | 在建工程 | 51 | 273 | 长期应付款 |
25 | 161 | 无形资产 | 52 | 275 | 住房周转金 |
26 | 162 | 梯延资产 | 53 | 281 | 外汇买卖 |
所有者权益类 | |||||
54 | 301 | 实收资本 | |||
55 | 302 | 资本公积 | |||
56 | 303 | 盈余公积 | |||
57 | 311 | 本年利润 | |||
58 | 312 | 利润分配 | |||
损益类 | |||||
收入 | 费用 | ||||
59 | 501 | 利息收入 | 66 | 521 | 利息支出 |
60 | 502 | 金融企业往来收入 | 67 | 522 | 金融企业往来支出 |
61 | 511 | 手续费收入 | 68 | 531 | 手续费支出 |
62 | 512 | 其他营业收入 | 69 | 532 | 营业费用 |
63 | 513 | 汇兑收益 | 70 | 533 | 营业税金及附加 |
64 | 514 | 投资收益 | 71 | 534 | 其他营业支出 |
65 | 515 | 营业外收入 | 72 | 535 | 汇兑损失 |
66 | 521 | 利息支出 | 73 | 536 | 营业外支出 |
67 | 522 | 金融企业往来支出 | 74 | 550 | 所得税 |
68 | 531 | 手续费支出 | 75 | 560 | 以前年度损益调整 |
四、资产处置收益科目编码是多少
【导读】:资产处置收益科目编码是多少?关于这个内容其实是在每个软件是不一样的,一个科目在不同软件中科目代码是有所不同,资产处置收益是什么科目呢?对于这个内容请看下文会计学堂小编的介绍!
资产处置收益科目编码是多少?:一个科目在不同软件中科目代码是有所不同的
资产处置收益是什么科目:资产处置损益反映企业出售划分为持有待售的非流动资产或处置组时确认的处置利得或损失,以及处置未划分为持有待售的固定资产、在建工程、生产性生物资产及无形资产而产生的处置利得或损失,属于损益类科目.
资产处置损益属于什么科目
资产处置损益是损益类科目,用来核算固定资产,无形资产等因出售,转让等原因,产生的处置利得或损失,影响营业利润,资产处置损益直接计入当期损益的利得或损失.
案例分析::2017年10月8日,彤升公司提前报废一台机器设备,设备原值150000元,已计提折旧60000元,已计提减值准备20000元,报废后处置废材料取得收入10300元.假该公司是一般纳税人,该设备处置符合简易计税条件,并按3%征收率开具了增值税专用发票.
一、 由于是报废,所以资产处置后并没有使用价值,因此用到营业外支出科目,会计处理:
(1)固定资产转入清理:
借:累计折旧 60000
固定资产减值准备 20000
固定资产清理 70000
贷:固定资产 150000
(2)出售取得收入:
借:银行存款10300
贷:固定资产清理10000
应交税费--简易计税 300
(3)清理净损益结转:
借:营业外支出--非流动资产损失 60000
贷:固定资产清理60000
二、 假如该设备不是报废,而是出售给B公司,其他条件不变,由于是出售处置,所以仅仅是为了换取对价,对于资产处置后还尚有使用价值,因此相关净损益需要结转至资产处置损益科目,年终并入资产处置收益报表项目
则会计处理(1)(2)相同.
(3)清理净损益结转:
借:资产处置损益--非流动资产损失 60000
贷:固定资产清理60000