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.
