On the Predictability of Classical Propositional Logic. - Marcelo Finger; Poliana M. Reis (Inf., 2013)