Program logic is the structured sequence of instructions that a computer follows to perform a specific task, ensuring that the program behaves as intended. It involves the use of algorithms, control structures, and data manipulation to achieve desired outcomes efficiently and accurately.