Existem várias formas de verificação da validade de um argumento. Estudaremos as três mais comuns:

1) Utilizando diagramas de conjuntos.
2) Considerando as premissas verdadeiras.
3) Considerando a conclusão falsa.