定义
也被称为“前置法”，是把运算符号或联结词写在运算项或变项之前的一种表示法。20世纪20年代由卢卡西维茨首先提出（金炳华，冯契，2001：1125）。1929年卢卡西维茨开始使用不带括号而又不致有任何混乱的符号体系，这种记号法对计算机使用非常方便，因波兰人发明而被称为“波兰符号法”（金炳华，冯契，2001：879）。这一符号法的优点在于省去了表示运算或联结先后次序的括号。例如，在命题演算中分别用N、A、K、C、E表示否定、析取、合取、蕴涵等值，那么通常用中置法表示的公式（p→（q∨（p∧r））），就可以用前置法表示的公式NCpAqKpr来表示。用“前置法”写出的公式叫做前置式（金炳华，冯契，2001：1125）。
网络参考例句
例句 1：
作为东欧新马克思主义主要代表之一，波兰哲学家亚当·沙夫从语言哲学、认识论和人道主义角度展开的深入思考在马克思主义领域产生了重要的影响，在文艺理论与美学方面也不乏真知灼见，这突出地体现为基于马克思主义语义哲学的交往符号学的建构。他深入西方符号学理论之骨髓，又能以马克思主义人道主义和历史唯物主义来理解，拓展了马克思主义文化批评的领域。他在交往及其社会历史基础、符号类型理论、意义交往的可能性等方面有着对审美领域的符号学的独特理解，有助于我们深化对艺术符号特性及审美交往的复杂性的把握。——“论沙夫的马克思主义交往符号学思想”，载于《学术交流》2015年08期
As one of members from the East-European Neo-Marxists, a Polish philosopher Adam Schaff’s consideration of philosophy of language, epistemology and humanism has had some important effects on the contemporary Marxism, part of which is the creative expression about theory of literature and arts and aesthetics, regarded as a construction of Marxist Semiotics of Communication bases on semantics. This paper discusses his specific understanding of semiotics of aesthetic including communication and its social foundation, typology of signs, and the possibility of communication of meaning mainly through his Introduction of Semantics in 1961, and then deepens the grasping of specification of signs of arts and complication of aesthetic communication.