propositionallogic tagslist