icono letras

Lenguaje C--

Macros y utilidades

Núm. página
  1. natc
    • 0
    • natural
    • 𝖆
    • 𝖇
    • 𝖈
    natc

Postulado 1’’’

𝖆 = 0 + 0 es verdad si y sólo sí 𝖆 es 0.

Postulado 1’’’’

1 = 1 + 0 es verdad.

Postulado 1’’’’’

Si n = m + 0 es verdad, n = m + 0 es verdad, donde:

  1. k = n + 1 es verdad.
  2. p = m + 1 es verdad.

Postulado 1’’’’’’

𝖆 = 0 + n es verdad si y sólo si 𝖆 = n + 0 es verdad.

Postulado 1’’’’’’’

𝖆 = n + 0 es verdad, 𝖈 = n + 0 si y sólo si 𝖆 y 𝖈 son el mismo natc.

Postulado 1’’’’’’’’

0 = n + 1 no es verdad.

Postulado 1’’’’’’’’’

𝖆 = n + m es verdad si y sólo si:

  1. m es 1 y 𝖆 = n + 1 es verdad.
  2. m no es 1 y 𝖆 = p + k es verdad, donde:
    1. p = n + 1 es verdad.
    2. m = k + 1 es verdad.
  1. A
    • a
    • A
  2. B
    • b
    • B
  3. C
    • c
    • C
  4. D
    • d
    • D
  5. E
    • e
    • E
  6. A
    • f
    • F
  7. exal
    • A
    • B
    • C
    • D
    • E
    • F

Postulado 1’’’’’’’’’’

Es verdad:

  1. A = 9 + 1
  2. B = A + 1
  3. C = B + 1
  4. D = C + 1
  5. E = D + 1
  6. F = E + 1

Postulado 1’’’’’’’’’’’

𝖆 = 𝖇 + exal1 es verdad si y sólo si una de las siguientes afirmaciones se cumple:

  1. exal1 es A y 𝖆 = 𝖈 + 9 es verdad, donde 𝖈 = 𝖇 + 1 es verdad.
  2. exal1 no es A y 𝖆 = 𝖈 + exal2 es verdad, donde:
    1. 𝖈 = 𝖇 + 1 es verdad.
    2. exal1 = exal2 + 1 es verdad.

Postulado 1’’’’’’’’’’’’

𝖆 = 0 * 0 es verdad si y sólo si 𝖆 es 0.

Postulado 1’’’’’’’’’’’’’

0 = 1 * 0 es verdad.

Postulado 1’’’’’’’’’’’’’’

Si 0 = n * 0 es verdad, 0 = m * 0 es verdad, donde m = n + 1 es verdad.

Postulado 1’’’’’’’’’’’’’’’

Si 𝖆 = n * 0 es verdad, 𝖇 = n * 0 es verdad si y sólo si 𝖆 y 𝖇 son el mismo natc.

Postulado 1’’’’’’’’’’’’’’’’

1 = 1 * 1 es verdad.

Postulado 1’’’’’’’’’’’’’’’’’

Si n = m * 1 k = p * 1 es verdad, donde:

  1. k = n + 1 es verdad.
  2. p = m + 1 es verdad.

Postulado 1’’’’’’’’’’’’’’’’’’

Si 𝖆 = m * 1 es verdad, 𝖇 = m * 1 es verdad si y sólo si 𝖆 y 𝖇 son el mismo natc.

Postulado 1’’’’’’’’’’’’’’’’’’’

𝖆 = m * n es verdad si y sólo si una de las siguientes afirmaciones se cumple:

  1. n es 1 y 𝖆 = m * 1 es verdad.
  2. n no es 1 y es verdad:
    1. n = k + 1.
    2. 𝖇 = m + k.
    3. 𝖆 = 𝖇 + m.
Núm. página