Em Gama da Metafísica, Aristóteles caracteriza a verdade assim: “Dizer do que é que ele não é e do que não é que ele é, é o falso; dizer do que é que ele é e do que não é que ele não é, é o verdadeiro”. Nesse sentido, Aristóteles defende a definição de uma forma de verdade por