chapter 8

Section 8.1

1.  1.       {odd(x + 1)} y : = x + 1 {odd(y)}        AA

     2.        True ∧ even(x )        P [for CP]

     3.        even(x )          2, Simp

     4.        odd(x + 1)        3, T

     5.    True ∧ even(x ) → odd(x + 1)           2−4, CP

     6. {True ∧ even(x ) } y := x + 1 {odd(y)}     1, 5, Consequence

QED.

2. a. 1.    { x + b > 0 } y : = b { x + y > 0 } AA

        2.    { a + b > 0 } x : = a { x + b > 0 } AA

        3.     ( a > 0 ) ( b > 0 ) ( a + b > 0 ) T

        4.     { ( a > 0 ) ( b > 0 )

Get Discrete Structures, Logic, and Computability, 4th Edition now with O’Reilly online learning.

O’Reilly members experience live online training, plus books, videos, and digital content from 200+ publishers.