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

Elemental

  1. No m are x; All y are m.
  1. Algunos x son m; Ningún y es m.
  1. Todos los m son x'; Ningún m es y.
  1. Ningún x' es m; ningún y' es m'.

[Véase las págs. 67,8]

Tomando "rabbits" como Universo; m="greedy"; x="old"; y "black"; representar

  1. Ningún conejo viejo es codicioso.
48