Rules of inference are used to infer conclusions such as, modus ponens, where given “A” and “If A then B”, then “B” must be concluded.
Aturan inferensi digunakan untuk menyimpulkan kesimpulan seperti, modus ponens, di mana diberikan "A" dan "Jika A maka B", maka "B" harus disimpulkan.