• 2022-06-14
    在谓词逻辑中,下面谓词公式哪些是永真式?给出理由。[tex=16.929x1.357]mJzDOQGsp4rQPDmpW9DuFG0RkPi6LsPPxzsfX58/1S3cWK+nceBuAVsAX54i7us2wJsoYf4U9iTJ9HWDWEiKi4RaZ4MEG2S37vNb8CMTpspSZWcBe+N+C4hM7SjEp52N[/tex]
  • 证:由于[tex=23.929x1.357]mJzDOQGsp4rQPDmpW9DuFG0RkPi6LsPPxzsfX58/1S2kXiatUT4eeNMBaga7Ydvl/9yLAIxtqG69ciVDo6i3zcxz6nUKeQE0mM/cBSKG8+xrZXi1+BCH2ChIlT+vWZfUa2Daum88jDv26mpb2knn/Q==[/tex][tex=16.857x1.357]lpOxOwj91JUhi2CEGJL8GJveHM2lsAauYZtKugngDknelgilHqQ+Q+00lSiPITg7gJ/cP0f9W3yJQO+qEkZcNdT81uDva9Iz1VmOPFNHIUwI50NPOo4X5hj9pewGBEjZ[/tex],因此[tex=16.929x1.357]a9HMXq6200KwbRj52/BMONlA2i54FddUJyd6xvQXYstzpxZIu/8QwBh5FQQtB18UTKxf7x0uk8Zd17GAD+CGgXhTfbEcUKYBr7pEBiVWS84Spq/3k5BPcgdkgcRlzP4l[/tex]永真。

    举一反三

    内容

    • 0

      【阅读理解(选择)/完型填空】基于以下描述回答 1-2 题: 下表是 9 名评委对 10 名学生的毕业设计进行等级评定结果: 评委 A B C D E F G H I J 1 1 2 4 3 9 6 5 8 7 10 2 1 4 2 5 6 7 3 10 8 9 3 1 3 4 5 2 8 9 6 10 7 4 1 3 4 5 2 6 10 8 7 9 5 1 9 2 5 6 3 4 8 10 7 6 1 4 9 2 5 6 7 3 10 8 7 1 3 5 10 2 6 9 7 8 4 8 1 3 5 7 6 4 8 10 2 9 9 1 2 8 4 9 6 3 7 5 10

    • 1

      写一个文法G,使其语言为不以0开头的偶数集。 A: G[S]:S→AB|BA→AD|CB→2|4|6|8|0C→1|3|5||7|9|B B: G[S]:S→AB|BA→AD|CB→1|2|3|4|5|6|7|8|9C→2|4|6|8|0 C: G[S]:S→AB|BA→AD|CB→2|4|6|8|0C→1|2|3|4|5|6|7|8|9D→0|C D: G[S]:S→AB|BA→AD|DB→2|4|6|8|0D→1|2|3|4|5|6|7|8|9|0

    • 2

      下列数组声明语句中,不正确的是_________。 A: Dim a(9) As Single = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10} B: Dim a() = {1, 2, 3, 4, 5, 6, 10} C: Dim a( ,) As Single = {{1, 2, 3, 4, 5}, {6, 7, 8, 9, 10}} D: Dim a() As Single = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10} E: Dim n As Integer=10Dim a(n) As Single

    • 3

      A=[1 2 3 4 5 6 7 8 9]A(5)=[]A=1 4 7 5 8 3 6 9

    • 4

      设DES加密算法中的一个S盒为: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 0 1 2 3 14 4 13 1 2 15 11 8 3 10 6 12 5 9 0 7 0 15 7 4 14 2 13 1 10 6 12 11 9 5 3 8 4 1 14 8 13 6 2 11 15 12 9 7 3 10 5 0 15 12 8 2 4 9 1 7 5 11 A: 1010 B: 0001 C: 1011 D: 0111