Aller au contenu

Logique des propositions/Introduction

Leçons de niveau 15
Une page de Wikiversité, la communauté pédagogique libre.
Début de la boite de navigation du chapitre
Introduction
Icône de la faculté
Chapitre no 1
Leçon : Logique des propositions
Retour auSommaire
Chap. suiv. :Définitions
fin de la boite de navigation du chapitre
En raison de limitations techniques, la typographie souhaitable du titre, « Logique des propositions : Introduction
Logique des propositions/Introduction
 », n'a pu être restituée correctement ci-dessus.

Introduction à la logique des propositions

[modifier | modifier le wikicode]

La logique est utilisée dans de nombreux domaines comme la recherche sur les fondements des mathématiques, raisonnement et philosophie, sciences du langage, et informatique.

La logique des propositions est une sous-partie de la Logique :

Place de la logique des propositions

Cependant elle est nécessaire aux autres types de logiques, c’est en quelque sorte la base de la logique.

La logique des propositions est un système formel, qui comporte :

  • une syntaxe pour produire une e.b.f. (expression bien formée) ou reconnaître si une expression est une e.b.f..
  • une sémantique pour interpréter les e.b.f.; c’est donc un calcul.

La logique des propositions est dite vérifonctionnelle, ce qui signifie qu'une proposition ne peut avoir que deux valeurs de vérité : VRAI ou FAUX.

Le principe est le suivant : On va calculer la valeur de vérité d'un énoncé complexe à partir de la valeur de vérité de ses composants.