A continuación se formalizan ambas oraciones, introduciendo a la vez la notación especial para los cuantificadores: