Biases and rationality in propositional reasoning