Carte Rare

Logique modale

type de système logique

Valeur

50 W

Attaque

282

Défense

225

Joueurs

0

655 vues Wikipédia ces 30 derniers jours

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.