forme logique
Forme d'une argumentation obtenue en abstrayant le sujet de la discussion pour en faire une règle de raisonnement générale
In logic, the logical form of a statement is a precisely specified semantic version of that statement in a formal system. Informally, the logical form attempts to formalize a possibly ambiguous statement into a statement with a precise, unambiguous logical interpretation with respect to a formal system.
Nº Q6667497 ★
Commune · Savoirs
forme logique
Forme d'une argumentation obtenue en abstrayant le sujet de la discussion pour en faire une règle de raisonnement générale
In logic, the logical form of a statement is a precisely specified semantic version of that statement in a formal system. Informally, the logical form attempts to formalize a possibly ambiguous statement into a statement with a precise, unambiguous logical interpretation with respect to a formal system.
Sur Wikipédia
Texte en anglais Pas encore d'article dans ta langue : extrait en anglais.
In logic, the logical form of a statement is a precisely specified semantic version of that statement in a formal system. Informally, the logical form attempts to formalize a possibly ambiguous statement into a statement with a precise, unambiguous logical interpretation with respect to a formal system. In an ideal formal language, the meaning of a logical form can be determined unambiguously from syntax alone. Logical forms are semantic, not syntactic constructs; therefore, there may be more than one string that represents the same logical form in a given language. The logical form of an argument is called the argument form of the argument.
Texte : Wikipédia en anglais, CC BY-SA 4.0. ·
Cartes voisines
-
S
Système formel
Modélisation mathématique d'un langage
Nº Q649732 ★★★
Pas en vente
-
L
Logique de description
Nº Q387196 ★
Pas en vente
-
Logique
Étude des principes et des critères de déductions et de démonstrations valides
Nº Q8078 ★★★★
Pas en vente
-
Logique mathématique
Discipline des mathématiques étudiant celles-ci en tant que langage
Nº Q1166618 ★★★★
Pas en vente
-
Categorical logic
Branch of category theory within mathematics, adjacent to mathematical logic but more notable for its connections to theoretical computer science.
Nº Q5051813 ★
Pas en vente
-
C
Complétude (logique)
Concept
Nº Q15846555 ★
Pas en vente