A Lógica de Luís António Verney é uma obra filosófica redigida em latim para uso dos jovens portugueses. Esta lógica estuda diversos assuntos de natureza não formal (alguns deles característicos da lógica pós-renascentista), como os referentes ao conhecimento, à investigação e exposição da verdade, aos universais, às espécies de ideias, aos enganos dos sentidos, à probabilidade histórica, hermenêutica, moral e física, à interpretação dos livros sagrados, às regras das disputas, à refutação das falácias, ao tema do pedantismo retórico e filosófico, e ainda a outras matérias. De qualquer modo, o autor apresenta um grande número de assuntos relativos à lógica formal, nomeadamente: as teorias da definição, da divisão, do juízo, da proposição (sobre a matéria, a forma, as espécies, a quantidade, a oposição, a equipolência, a conversão) e do silogismo (regras gerais e regras particulares das figuras, todas elas ilustradas com exemplos abundantes).

Quase todas as questões constantes da Lógica de Verney são dignas de apreço. Mas importa salientar que elas são expostas com o recurso a numerosos exemplos para que os leitores da obra pudessem compreender com maior facilidade as doutrinas que encerram.