Is it possible to translate a syllogism into propositional logic? This is the example: All doctors went to medical school. Hanna is a doctor. Hanna went to medical school. Thanks a lot, Sebastiano