This type of logic is based on the idea that a proposition is only true if it can be proved to be so.