⁷⁴Une logique hypothéticodéductive est une logique qui de prémisses données, accepte une conclusion.