Regels voor het afleiden van waarheden van eerder verklaard of bewezen waarheden. Het is de basis van de gevolgtrekking motor in de meeste expert systemen. Zie ook keten regel modus ponens, modus tollens, resolutie.