5) implica que Shakespeare escribió por lo menos una tragedia, en tanto que 6) presupone que Verona es visitable. (Observese que nos hemos limitado a citar un descendiente y un antecesor lógico en cada caso. Esto se debe a que, en un contexto abierto y difuso como es el conocimiento ordinario, es muy difícil ubicar todos los presupuestos y las consecuencias de un constructo. Las cosas cambian en el caso de una teoría matemática o científica: en este caso