Codal
nydus/The Game of LogicPublic
Página 49 de 92
Table of Contents

Elemental

  1. Algunos conejos no codiciosos son negros.
  1. Todos los conejos blancos están libres de codicia.
  1. Todos los conejos voraces son jóvenes.
  1. Ningún conejo viejo es codicioso; Todos los conejos negros son codiciosos.
  1. Todos los conejos que no son glotones son negros; ningún conejo viejo está libre de glotonería.

Tomando "aves" como Universo; m="que cantan fuerte"; x="bien alimentadas"; y="felices"; representar

  1. All well-fed birds sing loud; No birds, that sing loud, are unhappy.
  1. All birds, that do not sing loud, are unhappy; No well-fed birds fail to sing loud.

Tomando "personas" como Universo; m="en la casa"; x="Juan"; y y="con dolor de muelas"; representar

  1. John
49