Propositional logic is applied in computer science for designing and verifying computer architectures, developing algorithms, and ensuring software correctness through formal methods. It underpins programming languages and is crucial in artificial intelligence, enabling reasoning in knowledge-based systems and decision-making processes.