TERMIUM Plus®

La banque de données terminologiques et linguistiques du gouvernement du Canada.

LOGIQUE MODALE [1 fiche]

Fiche 1 2019-02-13

Anglais

Subject field(s)
  • Logic (Philosophy)
  • Artificial Intelligence
CONT

Narrowly construed, modal logic studies reasoning that involves the use of the expressions "necessarily" and "possibly." However, the term "modal logic" is used more broadly to cover a family of logics with similar rules and a variety of different symbols.

Français

Domaine(s)
  • Logique (Philosophie)
  • Intelligence artificielle
CONT

Les logiques non-classiques sont de plusieurs ordres, entre autres : la logique modale qui met l'accent sur les notions de possibilité et de nécessité.

Espagnol

Conserver la fiche 1

Avis de droit d’auteur pour la banque de données TERMIUM Plus®

© Services publics et Approvisionnement Canada, 2024
TERMIUM Plus®, la banque de données terminologiques et linguistiques du gouvernement du Canada
Un produit du Bureau de la traduction

En vedette

Portail linguistique du Canada

Accédez à une collection de ressources canadiennes sur tous les aspects du français et de l'anglais, y compris des jeux.

Outils d'aide à la rédaction

Les outils d’aide à la rédaction du Portail linguistique ont fait peau neuve! Faciles à consulter, ils vous donnent accès à une foule de renseignements utiles pour mieux écrire en français et en anglais.

Lexiques et vocabulaires

Accédez aux lexiques et vocabulaires du Bureau de la traduction.

Date de modification :