网站首页 情感咨询 情感美文 情感百科 情感生活 学习充电 旧版美文
把运算符号或联结词写在运算项或变项之前的一种表示法。20世纪20年代由卢卡西维茨首先提出,故亦称“波兰符号法”。此法省去表示运算或联结先后次序的括号。在命题演算中分别用N,A,K,C,E表示否定,析取,合取,蕴涵,等值。用此前置法表示的公式:NCpAqKpr即通常用中置法表示的公式(p→(q∨(p∧r)))。
依恋情感网情感百科知识大全收录了49620条情感类百科知识词条,覆盖心理学、哲学、美学等领域,基本涵盖了日常生活中常见问题的详细解释,是情感生活的有利工具。