calcul des propositions


Wikipédia en français - L'encyclopédie libreDownload this dictionary
Calcul des propositions
Le calcul des propositions ou calcul propositionnel est une théorie logique ayant pour objet l'étude des relations logiques entre « propositions » et définissant les lois formelles selon lesquelles, au moyen de connecteurs logiques, les propositions se coordonnent et s'enchaînent pour produire des raisonnements valides.

Pour la suite, voir Wikipédia.org…


© Cet article se sert du contenu de Wikipédia® et est autorisé sous les termes de la Licence de Documentation libre GNU et est distribué sous les termes de la licence Creative Commons Paternité-Partage des Conditions Initiales à l'Identique 3.0 non transposé.