Aturan untuk kebenaran berasal dari kebenaran yang sebelumnya dinyatakan atau terbukti. Itu adalah dasar dari mesin kesimpulan pada kebanyakan ahli sistem. Lihat juga rantai aturan, modus ponens, modus tollens, resolusi.