On peut ecrire : Et on doit comprendre : « quelque soit x, P (x) est vrai ». On va donc construire une logique plus elaboree, le calcul des predicats, ou logique du premier ordre dont l'alphabet est le m^eme que la logique des propositions, sauf que l'on ajoute les symboles « 8 » et « 9 » (plus d'autres symboles pour les variables).
La logique vient du grecque « logos » qui signi e « parole, discours », et par extension « rationalite », la logique est donc la science de la raison. Plus precisement, c'est la sciences qui etudie les regles que doivent respecter tout raisonnement valide, qui permet de distinguer un raisonnement valide d'un raisonnement qui ne l'est pas.
En particuliers, Aristote expose les bases de la logique dans son ou-vrage « Organon ». La logique d'Aristote va ^etre enseignes pendant tres longtemps, elle predomine jusqu'au Moyen Ages au moins, et ce n'est que tres recemment qu'est apparu la logique moderne. C'est Frege qui a pose les bases de la logique moderne.
Comme nous avons dit que les mots du langage de la logique sont appeles des formules, on dira que les propositions sont des formules. Le notion de connecteur logique est deja presente dans la logique d'Aris-tote. C'est une notion qui apparait naturellement lorsque l'on tente de faire des raisonnements.