(Eng: inference rules) Regels die kunnen worden gebruikt voor het bepalen van waarheden vanuit afgelegde of bewezen waarheden. Dit wordt voorgesteld door: A B hetgeen betekent dat A B impliceert (of dat B uit A is afgeleid), maar dat B niet noodzakelijkerwijs A impliceert (uit A is afgeleid). Dit kan ook in de vorm van een IF-THEN verklaring...