update docs regarding propositional logic