English: Formulas of propositional logic contain special symbols.
Telugu: ప్రతిపాదిత తర్క సూత్రాలు ప్రత్యేక చిహ్నాలను కలిగి ఉంటాయి.