Logique des propositions

Partie de la logique qui traite des relations entre énoncés complets (propositions) au moyen de connecteurs comme la conjonction, la disjonction et l'implication, sans analyser la structure interne des termes.