Logique Mathematique Tome 1 Calcul
tionnel utilise des symboles logiques pour représenter ces propositions et leurs connecteurs, tels que : La conjonction (et, notée ∧) La disjonction (ou, notée ∨) La négation (non, notée ¬) L’implication (si… alors…, notée →) L’équivalence (si et seulement si, notée ↔