Déduction naturelle
Déduction naturelle est une carte à collectionner dans WikiMasters, de rareté rare. Ses caractéristiques sont partagées par tous les exemplaires de sa version normale.
Caractéristiques de la carte
- Rareté
- Rare
- Attaque
- 3 319
- Défense
- 1 660
L’attaque et la défense sont des valeurs du jeu, indépendantes des qualités du sujet représenté.
À propos de Déduction naturelle
Lire sur WikipédiaEn logique mathématique, la déduction naturelle est un système formel où les règles de déduction des démonstrations sont proches des façons naturelles de raisonner. C'est une étape importante de l'histoire de la théorie de la démonstration pour plusieurs raisons : contrairement aux systèmes à la Hilbert fondés sur des listes d'axiomes logiques plus ou moins ad hoc, la déduction naturelle repose sur un principe systématique de symétrie : pour chaque connecteur, on donne une paire de règles duale
Extrait de Wikipédia en français, éventuellement abrégé. Texte sous licence CC BY-SA 4.0.
Comment obtenir cette carte ?
Les packs contiennent cinq cartes sélectionnées aléatoirement dans le catalogue. Aucun pack ne garantit cette page précise. Tu peux aussi rechercher cette carte au marché des joueurs ou proposer un échange à un ami.
Les cartes rares représentent 20 % du catalogue. Ce pourcentage concerne la rareté entière, pas cette carte seule.
Historique du marché
Aucune vente conclue pour la version normale de cette carte. Les WikiCoins sont la monnaie virtuelle du jeu.