Logique modale

Type de système logique

Dernier prix

—

Prix plancher

—

Médiane 7 j

—

Ventes 30 j

Fourchette 30 j

—

En circulation

Cours

Voir le tableau

Date	médiane	Min	Max	ventes

Historique des ventes

Dernière vente: —
Moyenne 30 j: —
Plus bas 30 j: —
Plus haut 30 j: —
Ventes 7 j: 0
Ventes 30 j: 0

Aucune vente pour l'instant.

Ventes anonymes : ni acheteur ni vendeur. Les chiffres ne comptent que les ventes entre joueurs.

№ Éditions numérotées · 0 frappées Prochain n° 1 · Score ×3

Sur 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. Il existe toutes sortes de logiques modales comme les logiques temporelles, la logique épistémique (logique de connaissance). En informatique, la logique modale est utilisée pour son expressivité et les aspects algorithmiques. Par exemple, la logique temporelle est utilisée pour spécifier des programmes puis les vérifier.

Texte : Wikipédia, CC BY-SA 4.0. · Image : Thuluviel (Public domain) ·

Cartes voisines

Programmation logique

Nº Q275603 ★★

Satisfiability modulo theories

Nº Q2067766 ★★

Disjonction logique

Disjonction non exclusive, de deux assertions est une façon d'affirmer qu'au moins une de ces deux assertions est vraie

Nº Q1651704 ★★★

Liste de concepts logiques

Page de liste de Wikimédia

Nº Q3142865 ★★★

Absoluteness (logic)

In mathematical logic, property of formula that has the same truth value in each of some class of structures

Nº Q4669873 ★

norme

En philosophie, concept d'importance pratique, orienté vers la réalisation d'une action

Nº Q3878446 ★