O documento discute os conceitos de validade formal e informal de argumentos, além de apresentar exemplos de argumentos válidos e inválidos. A validade formal depende apenas da forma do argumento, enquanto a informal também considera o conteúdo proposicional. O inspetor de circunstâncias permite determinar a validade formal através de tabelas de verdade.