• « En un acuerdo legal se especificaba que si Hakim moría, el dinero quedaría bajo el control de Secord, y si este también fallecía, bajo el de North. »
• « Mientras que la lógica silogística aristotélica especificaba las formas que adoptaba la parte relevante de los juicios involucrados, la lógica predicada permite que las sentencias se analicen en el sujeto y el argumento de varias maneras diferentes, permitiendo así que la lógica predicada resuelva el problema de la generalidad múltiple que había dejado perplejos a los lógicos medievales. »