Logique propositionnelle

Partie de la logique formelle qui étudie les rapports de vérité entre propositions entières au moyen des connecteurs comme la négation, la conjonction, la disjonction et l'implication, sans analyser la structure interne des termes.