Rare · Savoirs
Logique formelle
Étude de l’inférence, en linguistique
La logique formelle est l’étude des concepts, jugements et raisonnements considérés abstraitement et sans considération des objets qu'ils désignent.
Sur Wikipédia
La logique formelle est l’étude des concepts, jugements et raisonnements considérés abstraitement et sans considération des objets qu'ils désignent.
Texte : Wikipédia, CC BY-SA 4.0. · Image : Sophivorus (CC BY-SA 4.0) ·
Cartes voisines
-
★★★★
Logique
Étude des principes et des critères de déductions et de démonstrations valides
-
S★★
Sémantique formelle (logique)
Étude de la sémantique, ou l'interprétations, des langages formels et naturels
-
I★
Interprétation (logique)
Fonction donnant (habituellement) une valeur de vérité aux formules d'un système logique
-
C★★
Connecteur logique (linguistique)
-
D★★
Déduction logique
Concept fondamental en logique
-
★★★★
Logique mathématique
Discipline des mathématiques étudiant celles-ci en tant que langage