Cet article est le cinquantième d'une série consacrée à la logique classique (ou aristotélicienne, c'est-à-dire développée par Aristote). Dans le quarante-neuvième, j'ai présenté les tautologies. Dans cet article, j'expliquerai comment détecter la présence d'un...

lire plus