As seguintes proposições lógicas formam um conjunto de premissas de um argumento:
- Se João é físico, então Carlos é matemático. - Se Carlos não é matemático, então José não é químico. - José é químico.
Pode-se afirmar que: