些注记 1.定义6是归纳定义,而不是循环定义。 (1)是奠基,(2)、(3)是归纳步骤。 2.如果在(2)和(3)中将括号去掉,结果如何? p->q与P>q)r、P>gr 3.如仅去掉(2)和(3)中某类公式的括号呢?例如, 仅去掉(2)中括号。 (pA-q)—-的优先级高于其它的。 如果规定省略命题形式最外层括号,与2的差别。一些注记 1. 定义6是归纳定义，而不是循环定义。 (1)是奠基，(2)、(3)是归纳步骤。 2. 如果在(2)和(3)中将括号去掉，结果如何？ p→q→r 与 P→q→r、 P→q→r 3. 如仅去掉(2)和(3)中某类公式的括号呢？例如， 仅去掉(2)中括号。 (p∧¬q) —— ¬的优先级高于其它的。 4. 如果规定省略命题形式最外层括号，与2的差别