你的意思是说,佛陀在没入涅盘之前,属于苦谛.只有佛陀涅盘后,才是灭谛吗?如果佛陀在苦谛的话,他却居然没有苦,那为什么非得要入涅盘呢?善观的意思是无苦必须是无为法,有为法一定有苦,我想我的理解应该没有错误.
我想用命题演算的方法算出这个问题的解.
α:（p∧q→r）∨t∧Ør或者（p∧q→r）∧（t∧Ør）
β:s∧q→r→r
p代表佛陀,s代表众生,q代表受,r代表苦,t代表涅盘.
先看看真值形式α，当t∧Ør取真值时,t只能取真值,r只能取F值.由于p、q只取真值，所以p∧q→r为假值。
这个式子表明，即使佛陀在有为法中，也是没有苦的。佛陀在有为法与无为法中都是无苦的，但有受。
再来看看真值形式β，在这个式子中由于r恒取真值，所以真值形式β的表达式s∧q→r→r恒为真值。
命题演算具有一致性和完全性，所以保证了推理过程正确性。
补充：
有为法可以不苦是正确的，对象本身无所谓苦，苦是相对于众生而言的。苦与不苦不在于是否是有为法或无为法，而在于无明和行尽没尽，无明若尽，即使在有为法也不会苦。众生无明没尽，恒处于有为法中，无明没尽，行也没尽，所以不断的处于苦中。
这个结论由我上面的演算来保证。
