« Logique modale » : différence entre les versions
Contenu supprimé Contenu ajouté
m signalement d'un passage peu clair |
Aucun résumé des modifications Balises : Révoqué Éditeur visuel Modification par mobile Modification par le web mobile Tâche pour novices Tâche pour novices : relecture et correction |
||
Ligne 1 :
{{sources à lier|date=avril 2015}}
Jacques nawej{{Style non encyclopédique|date=avril 2015}}
En [[logique mathématique]], une '''logique''' '''modale''' est un type de [[logique formelle]] qui étend la [[logique propositionnelle]], la [[logique du premier ordre]] ou la [[logique d'ordre supérieur]] avec des [[modalité (logique)|modalités]]. Une modalité spécifie des {{ pas clair | qualités du [[valeur de vérité|vrai]] }}. Par exemple, une proposition comme « il pleut » peut être précédée d'une modalité :
| |||