Next: 8.3.2 Teorema de refutació Up: 8.3 Altres formes de Previous: 8.3 Altres formes de Contents
Podem llistar totes les possibles combinacions de valors per cada variable, i comprovar que, per cada una, si la part esquerra del seqüent es compleix llavors la part dreta també.
Si hi ha 
variables, farà falta comprovar 
casos.
El problema està en si hi ha quantificadors, perquè llavors ja hi intervé un domini. I no podem llistar alguns dels possibles dominis existents, perquè un domini pot contenir infinits elements.