"propositional formula" - related articles and key terms