Du fait d'un lien surprenant entre les preuves et les programmes, la logique est aussi la base de la compréhension des calculs.
Plus concrètement, la logique a été à l'origine d'avancées technologiques comme les langages de requêtes dans les bases de données.
La logique propositionnelle est la logique sans quantificateurs qui s'intéresse uniquement aux lois gouvernant les opérations logiques suivantes : la négation (¬) , la conjonction, autrement dit le «et » (∧), la disjonction, autrement dit le «ou » (∨), l'implication ( ⇒) et l'équivalence ( ⇔).
Une fonction propositionnelle5 est une fonction logique qui devient une proposition toutes les fois qu'on y substitue à toutes les variables des valeurs déterminées.