Next: 7.3 Regles derivades Up: 7.2 Regles de quantificadors Previous: 7.2.5 Eliminació de l'universal Contents
A l'última secció hi ha algun exemple amb quantificadors, però sense explicar. Suposo que hauràs de mirar algun llibre de lògica si t'interessa entendre'ls.