If a proposition can be obtained from true reachable propositions by means of inference rules, it is a true reachable proposition.
Jika suatu proposisi dapat dihasilkan dari proposisi benar terjangkau dengan menggunakan aturan-aturan inferensi, maka ia adalah proposisi benar terjangkau.