proceso lógico sistemático capaz de derivar una conclusión a partir de hipótesis (es)
Kalkül der formalen Logik (de)
méthode formelle d'obtention d'une conclusion à partir d'hypothèses (fr)
regels in logica (nl)
Hipotesi gisa hartutako zenbait proposizio abiapuntu direla, teoria deduktibo batean proposizio baten egiazkotasuna frogatzea ahalbidetzen duen erregela-multzoa. (eu)
правило перехода от посылок к заключению (ru)
systematic logical process capable of deriving a conclusion from hypotheses (en)
proses logis untuk menarik kesimpulan dari hipotesis (id)