- 4


  • ?(() > _())
  • (-42)
  • (-42)
  • (-134)
  • (-62)
  • _(-42)
  • __(-42)
  • 1-4, , - X V. , .

    , , :

    ? _(1),

    - 1-10. .

    1.

    1 =-42,

    (-42) ? (-42) > (-42).

    2 .

    : 5 6,

    (-42) ? (-42).

    : 1:

    (-42) ? (-42) > (-42).

    Modus Ponens

    ?,? > ?
    ?

    299

    ?= (-42) ? (-42) = (-42),

    : (-42).

    .

    : 2, 9 10, :

    (-42) ?_(-42) ?__(-42).

    : 2 =-42,

    (-42) ? _(-42) ? __(-42) > (-42)

    Modus Ponens, (-42).

    4 .

    : 3 - (-42).

    : 4 =-42,

    (-42) > _(-42).

    Modus Ponens, _(-42). , -42. , =-62, . , .

    300

    292 :: 293 :: 294 :: 295 :: 296 :: 297 :: 298 :: 299 :: 300 ::