Como ya sabéis, hay dos cuantificadores (y). Cada una de ellas tiene una regla de introducción y una regla de eliminación, por lo que hay 4 reglas para presentar en esta sección. Las pruebas en pueden...Como ya sabéis, hay dos cuantificadores (y). Cada una de ellas tiene una regla de introducción y una regla de eliminación, por lo que hay 4 reglas para presentar en esta sección. Las pruebas en pueden utilizar ambas reglas, más todas las reglas de (como las reglas de negación y los teoremas básicos, incluidas las reglas de introducción y eliminación), y también cualquier otro teorema que haya sido previamente probado.