摘要

本文结合会计交易或事项描述了函数的直观概念,指出函数是谓词公式的项;运用谓词逻辑的符号化方法,例示了会计分录的带项和带量词的两种谓词公式,说明各有其独特作用,展示了转换成谓词公式的会计分录样式。本文属笔者独立的原创性研究成果,阐明将谓词逻辑应用于会计处理模式,有着极为广阔的开发前景和重要的应用价值。