Veuillez choisir le dossier dans lequel vous souhaitez ajouter ce contenu :
Filtrer les résultats
Colloque
En sciences cognitives, la formalisation de la logique peut servir d'outil heuristique pour aider à déterminer la nature et la structure de la compétence logique. Dans cette optique, formaliser les inférences nous donne un cadre conceptuel dont les notions peuvent être utilisées comme appuis pour trouver des explications ou encore des pistes de recherche éventuelles. En logique classique, l'implication est essentielle pour effectuer des inférences déductives. L'implication est un connecteur binaire entre deux propositions qui inscrit une relation d'ordre dans la structure du calcul des propositions. Cette structure d'ordre est un treillis de Boole. L'équivalence entre, d'une part, l'implication et, …
