В статье рассматривается формальная закономерность соотношения квантора существования и единственности субъекта, реальности/гипотетичности предиката и наклонения в испанском предложении. Инструментом данного анализа являются законы логики, посредством которых автор находит различие в употреблении не только между Modo Indicativo и Modo Subjuntivo, но также выделяет PotencialSimple как отдельное наклонение с точки зрения логики.