Python代码，出现一个无效指令，

实验苏格拉底推论符号化及论证
出现一个无效指令不知道怎么改，明明和别人输的一模一样但是就是不能运行。

别人的

出问题的Q和R好像写的是1p，前面的变量名是lp