Logic in Computer Science is the application of formal logic to the field of computing. Formal logic provides a systematic framework to represent and reason about propositions, predicates, and arguments. Logic in Computer Science typically involves Boolean logic, propositional logic, predicate logic, and sometimes more advanced topics such as temporal logic and modal logic.

The field includes the study of various logic-based languages, the use of logic in formal methods for software and hardware verification, the application of logic in AI and databases, and more.

Studying Logic requires no other background than high school level algebra.

Natural DeductionProoftreeSequent CalculusDirect proofModal LogicProofs as ProgramsLogic ProgrammingKolmogorov translationHeyting ArithmeticInductionProlog in PrologPrologBackward ChainingRefutation ProofsAdmissibilityOrdered Proofs as Concurrent ProgramsFocusingVerificationsSubsingleton LogicQuantificationFunctional LogicFitch ProofsCut EliminationVerifications and UsesDepth estimationPropositional Theorem ProvingClassical LogicDerivabilitySession TypesRelational LogicHarmonyLinear logic applicationsEqualityOrdered LogicLinear LogicInversionProofs as ML programsPropositional AnalysisPropositional calculus (Propositional logic)MonadsPractical PrologForward ChainingLax logic Certifying Theorem ProversRelational Analysis