1. Logique des propositions
Définition (logique des propositions). La logique des propositions (propositional logic or sentential logic or statement logic) est une branche de la logique qui traite des relations logiques entre « propositions » (qui peuvent être vraies ou fausses). Elle comporte deux aspects : le langage des propositions et le calcul des propositions.
Le langage des propositions est un langage formel qui :
syntaxiquement définit les règles grammaticales formelles selon lesquelles les propositions complexes sont constituées en assemblant des propositions simples au moyen des connecteurs logiques et celles-ci sont enchaînées pour produire des propositions complexes ;
et sémantiquement assigne à chaque proposition élémentaire et donc subséquemment à chaque proposition complexe une valeur de vérité.
À ce langage des propositions...
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Logique des propositions
Logique des prédicats
Sources bibliographiques
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Quiz et tests de validation présents dans cet article
Entraînez-vous autant que vous le voulez avec les quiz d'entraînement.
Article inclus dans l'offre
"Mathématiques"
(
228 articles
)
Actualisée et enrichie d’articles validés par nos comités scientifiques.
Quiz, médias, tableaux, formules, vidéos, etc.
Opérationnels et didactiques, pour garantir l'acquisition des compétences transverses.
Un ensemble de services exclusifs en complément des ressources.
