Le calcul des propositions ou calcul propositionnel fait partie de la logique mathématique. Il a pour objet l'étude des relations logiques entre « propositions » et définit les lois formelles selon lesquelles les propositions complexes sont formées en assemblant des propositions simples au moyen des connecteurs logiques et celles-ci sont enchaînées pour produire des raisonnements valides. Il est un des systèmes formels, piliers de la logique mathématique dont il aide à la formulation des concepts . Il est considéré comme la forme moderne de la logique stoïcienne.

Property Value
dbo:abstract
  • Le calcul des propositions ou calcul propositionnel fait partie de la logique mathématique. Il a pour objet l'étude des relations logiques entre « propositions » et définit les lois formelles selon lesquelles les propositions complexes sont formées en assemblant des propositions simples au moyen des connecteurs logiques et celles-ci sont enchaînées pour produire des raisonnements valides. Il est un des systèmes formels, piliers de la logique mathématique dont il aide à la formulation des concepts . Il est considéré comme la forme moderne de la logique stoïcienne. (fr)
  • Le calcul des propositions ou calcul propositionnel fait partie de la logique mathématique. Il a pour objet l'étude des relations logiques entre « propositions » et définit les lois formelles selon lesquelles les propositions complexes sont formées en assemblant des propositions simples au moyen des connecteurs logiques et celles-ci sont enchaînées pour produire des raisonnements valides. Il est un des systèmes formels, piliers de la logique mathématique dont il aide à la formulation des concepts . Il est considéré comme la forme moderne de la logique stoïcienne. (fr)
dbo:isPartOf
dbo:wikiPageID
  • 16594 (xsd:integer)
dbo:wikiPageLength
  • 46673 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 190015642 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:fr
  • Valery Ivanovich Glivenko (fr)
  • Valery Ivanovich Glivenko (fr)
prop-fr:langue
  • en (fr)
  • en (fr)
prop-fr:texte
  • Glivenko (fr)
  • Glivenko (fr)
prop-fr:wikiPageUsesTemplate
prop-fr:wikiversity
  • Logique des propositions (fr)
  • Logique des propositions (fr)
prop-fr:wikiversityTitre
  • Logique des propositions (fr)
  • Logique des propositions (fr)
dct:subject
rdfs:comment
  • Le calcul des propositions ou calcul propositionnel fait partie de la logique mathématique. Il a pour objet l'étude des relations logiques entre « propositions » et définit les lois formelles selon lesquelles les propositions complexes sont formées en assemblant des propositions simples au moyen des connecteurs logiques et celles-ci sont enchaînées pour produire des raisonnements valides. Il est un des systèmes formels, piliers de la logique mathématique dont il aide à la formulation des concepts . Il est considéré comme la forme moderne de la logique stoïcienne. (fr)
  • Le calcul des propositions ou calcul propositionnel fait partie de la logique mathématique. Il a pour objet l'étude des relations logiques entre « propositions » et définit les lois formelles selon lesquelles les propositions complexes sont formées en assemblant des propositions simples au moyen des connecteurs logiques et celles-ci sont enchaînées pour produire des raisonnements valides. Il est un des systèmes formels, piliers de la logique mathématique dont il aide à la formulation des concepts . Il est considéré comme la forme moderne de la logique stoïcienne. (fr)
rdfs:label
  • Aussagenlogik (de)
  • Calcul des propositions (fr)
  • Logica proposizionale (it)
  • Logika proposizional (eu)
  • Lògica proposicional (ca)
  • Lógica proposicional (es)
  • Lógica proposicional (pt)
  • Mệnh đề toán học (vi)
  • Propositional calculus (en)
  • Rachunek zdań (pl)
  • Satslogik (sv)
  • Логика выс��азываний (ru)
  • Числення висловлень (uk)
  • حساب القضايا (ar)
  • 命題論理 (ja)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:mainArticleForCategory of
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of