Question

离散数学问题

命题公式层次怎么计算。比如若A是单命题的，则称A为0层公式。 那么(¬p ^q)→r为3层公式。 这个3层怎么算出来的TAT 书上定义的看不懂

Answer 1

上确界的数学定义
有界集合E，如果β满足以下条件
（1）任意X属于E，β>X.
（2）对任意ε>0，始终存在Xn
属于E，使得β－ε<Xn.
则称β为集合E的上确界（同理可知下确界的定义）

对于函数y=f（x），在使f（x）大于等于M成立的所有常数M中，我们把M的最大值M’叫做函数y=f（x）的下确界。
下确界：在所有那些下界中如果有一个最大的下界，就称为M的下确界

设<math>(A, \leq)</math>是偏序集，<math>B \subseteq A</math>，<math>y \in B</math>，若对于所有的<math>x \in B</math>，<math>y \leq x ~\implies~x = y</math>，则称<math>y</math>为<math>B</math>的极大元。
请注意极大元和最大元的区别。最大元是<math>B</math>中最大的元素，它与<math>B</math>中其它元素都可比；而极大元不一定与<math>B</math>中其它元素都可比，只要没有比它大的元素，它就是极大元。对于有穷集合<math>B</math>，极大元一定存在，但最大元不一定存在。最大元如果存在一定是唯一的，但极大元可能有多个。

设<math>(A, \leq)</math>是偏序集，<math>B \subseteq A</math>，<math>y \in B</math>，若对于所有的<math>x</math>，<math>x \in B~\implies~x \leq y</math>，则称<math>y</math>为<math>B</math>的最大元。
请注意最大元和极大元的区别。最大元是<math>B</math>中最大的元素，它与<math>B</math>中其它元素都可比；而极大元不一定与<math>B</math>中其它元素都可比，只要没有比它大的元素，它就是极大元。对于有穷集合<math>B</math>，极大元一定存在，但最大元不一定存在。最大元如果存在一定是唯一的，但极大元可能有多个。
请采纳。

追问

不是这个啊TAT 是公式层次。