Structure de valeurs de vérité
Résumé
En se plaçant dans divers triplets (E,->, phi) on "lit" les énoncés de mathématiques comme des noms d'objets et on peut chercher même la logique (complètement exotique à priori) de la structure.
Domaines
Logique [math.LO]
Origine : Fichiers produits par l'(les) auteur(s)
Loading...