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

Elemental

es

  1. Algunos no-x no son no-y.
  1. Todo no-x es no-y.
  1. Algunos no-y existen.
  1. No existen no-x.
  1. Algunos y son x, y algunos no son x.
  1. Todos los x son y, y todos los no-y son no-x.

[Véase las págs. 62, 3]

Tomando "naciones" como Universo;

  • x="civilizadas";
  • y="belicosas";
  1. Ninguna nación incivilizada es guerrera.
44