connecteurs
•Dans le cas du calcul propositionnel (dorénavant CP),
les opérations booléennes sont interprétées comme des
connecteurs,
•Un connecteur binaire est une manière de composer
deux propositions pour en obtenir une troisième,
• Un connecteur unaire est une manière d’obtenir une
autre proposition à partir d’une proposition donnée
• On peut ainsi définir « récursivement » ce qu’on entend
par une proposition (au sens général):
–Une variable propositionnelle est une proposition,
–Si P et Q sont des propositions et si © est un connecteur binaire,
alors P © Q est une proposition
–Si P est une proposition et si ® est un connecteur unaire, alors
®P est une proposition