Quantifying information and contradiction in propositional logic through test actions