Logique modale

Type de système logique

Mythique · Savoir · discipline

6Logique modale

Savoir, disciplineM

Érudition. En arrivant : pioche une carte.

type de système logique

8 958

8 928

Pl. 1484347WikiArcana

D'où viennent les stats

Attaque: 8 958
Richesse : 53 déclarations, comparé aux autres cartes du même type.
Défense: 8 928
Rayonnement : 41 sitelinks, comparé aux autres cartes du même type.

Résumé Wikipédia

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és. Une modalité spécifie les conditions de vérité d'une proposition. Par exemple, une proposition comme « il pleut » peut être précédée d'une modalité :Il est nécessaire qu'il pleuve ; Demain, il pleut ; Christophe Colomb croit qu'il pleut ; Il est démontré qu'il pleut ; Il est obligatoire qu'il pleuve.

Lire l'article sur Wikipédia

Texte : extrait de l'article Wikipédia « Logique modale », sous licence CC BY-SA 4.0.

Données : Wikidata (CC0). Image : S4modalities.PNG sur Wikimedia Commons ; auteur et licence sur la page du fichier.

Signaler cette carte

Finitions

Chaque carte peut sortir d'un pack en plusieurs finitions ; le pourcentage est la chance qu'une carte tirée sorte dans celle-ci. Shiny et Gold renforcent aussi ses stats.

Cartes liées

Ces sujets sont reliés à Logique modale dans Wikidata. En combat, posées sur le même territoire, les cartes liées se renforcent : +1 par lien (jusqu'à +3).

6Logique mathématique

Savoir, branche des mathématiquesM

Érudition. En arrivant : pioche une carte.

discipline des mathématiques étudiant celles-ci en tant que langage

8 951

8 994

Pl. 1484350WikiArcana

2Système logique

Savoir, type de systèmeC

Érudition. En arrivant : pioche une carte.

système formel dédié au raisonnement et aux déductions logiques

1 704

1 193

Pl. 2270350WikiArcana

6Calcul des propositions

Savoir, système logiqueM

Érudition. En arrivant : pioche une carte.

théorie de logique mathématique

Savoir, branche de la philosophieA

Érudition. En arrivant : pioche une carte.

étude des principes et des critères de déductions et de démonstrations valides

9 986

9 999

Pl. 1484343WikiArcana

4Logique déontique

Savoir, branche de la philosophieR

Érudition. En arrivant : pioche une carte.

5 343

5 182

Pl. 1484344WikiArcana

4Logique épistémique

Événement, logique philosophiqueR

Chaos. En arrivant : les cartes adverses déjà ici perdent 2.

logique modale qui permet de raisonner à propos de la connaissance d'un ou plusieurs agents

4 569

5 228

Pl. 1484361WikiArcana

3Logique doxastique

Savoir, logique modalePC

Érudition. En arrivant : pioche une carte.

3 102

3 132

Pl. 1484540WikiArcana

6Logique modale

Savoir, disciplineM

Érudition. En arrivant : pioche une carte.

type de système logique

10 750

10 714

Pl. 1484347GoldWikiArcana

GoldChance : 1,8 %

4Logique temporelle linéaire

Événement, logique temporelleR

Chaos. En arrivant : les cartes adverses déjà ici perdent 2.

4 655

4 890

Pl. 1484504WikiArcana

4Possibilité logique

SavoirR

Érudition. En arrivant : pioche une carte.

4 838

4 997

Pl. 1935943WikiArcana

2Logique pertinente

Événement, logiques sous structurellesPC

Chaos. En arrivant : les cartes adverses déjà ici perdent 2.

famille de logiques formelles qui imposent la propriété de partage de variables et le rejet du syllogisme disjonctif

2 199

2 417

Pl. 1484578WikiArcana

2Logique de la prouvabilité

Savoir, théorie mathématiqueC

Érudition. En arrivant : pioche une carte.

1 728

1 540

Pl. 1484514WikiArcana

2Logique dynamique

Savoir, logique modaleC

Érudition. En arrivant : pioche une carte.

1 217

1 227

Pl. 1484497WikiArcana

2Algèbre modale

Savoir, concept mathématiquePC

Érudition. En arrivant : pioche une carte.

structure algébrique constituée d'une algèbre de Boole muni d'un opérateur unaire

2 932

2 508

Pl. 218536WikiArcana

2Formule de Sahlqvist

Savoir, théorèmeC

Érudition. En arrivant : pioche une carte.

1 421

1 061

Pl. 918396WikiArcana

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és. Une modalité spécifie les conditions de vérité d'une proposition. Par exemple, une proposition comme « il pleut » peut être précédée d'une modalité :Il est nécessaire qu'il pleuve ; Demain, il pleut ; Christophe Colomb croit qu'il pleut ; Il est démontré qu'il pleut ; Il est obligatoire qu'il pleuve.

Lire l'article sur Wikipédia

Texte : extrait de l'article Wikipédia « Logique modale », sous licence CC BY-SA 4.0.