Llámase inferencia lóxica a laplicación duna regla de tresformamientu que dexa tresformar una fórmula o espresión bien formada (EBF) dun sistema formal notra EBF como teorema del mesmu sistema. Dambes espresiones rellacionar por aciu una rellación dequivalencia, esto ye, que dambes tienen los mesmos valores de verdá o, dichu dotra forma, la verdá duna coimplica la verdá de la otra.