书上的意思,大概是只有(p→(r→q))才是合式公式,而p→(r→q)不是。为什么呢?假设p→(r→q)是合式公式,那么我们用~来代表否定:请问,~p→(r→q)是什么意思?它否定的是p呢,还是全体呢?就是说,应该是[(~p)→(r→q)]呢,还是[~(p→(r→q))]呢?(注:最外边的那一层括号,为了看得清楚,用了方括号)一个合式公式一定要满足一个条件,就是在任何情况下使用它都不会产生歧义。为了避免上面那个麻烦的事情产生,办法就是在这个合式公式诞生的那一刻,就给它套上一层括号,这样就肯定不会错了。[~(p→(r→q))]的意思是非常明确的。如果是[(~p)→(r→q)]的话,那一定不是由(p→(r→q))得到的。简而言之,就是为了避免歧义的产生,除了单个字母(例如p,p1,p2...)直接表示的合式公式本身外,一律加上括号。m1:=winner( ma(close,1))*200;m2:=winner(ma(close,5))*200;多空比例:=if((m1-m2)>-0.02,m1-m2,-0.02);上拐预警:=(ref(多空比例,2)>=ref(多空比例,1) or ref(多空比例,1)=0) and ref(多空比例,1)tr:=expmema(max(max(high-low,abs(high-ref(close,1))),abs(ref(close,1)-low)),14); hd :=high-ref(high,1); ld :=ref(low,1)-low; dmp:=expmema(if(hd>0&&hd>ld,hd,0),14); pdi:= dmp*100/tr; pdi线上拐:=ref(pdi,2)>ref(pdi,1) and pdi>ref(pdi,1); 散户:= ma(winner(close*0.95)*100,3); 散户线上拐:=ref(散户,2)>ref(散户,1) and 散户>ref(散户,1); 合3为1:上拐预警+pdi线上拐+散户线上拐=n;合式公式 若用,…表示真值确定的简单命题,则称,…为命题常项,命题常项的真值是确定不变的,不是为1,就是为0。 若用,…泛指简单的陈述句,则称,…为命题变项,此时,…是变量,它们的取值为1或0。 命题公式是由命题常项、命题变项、联结词、括号等组成的符号串,但不是由这些符号任意组成的符号串都是命题公式。因此,必须给出命题公式的严格定义。