Logique tétravalente Une possible interprétation ? Une représentation graphique tridimensionnelle En jouant avec cette logique, je me suis rendu compte qu’elle admet une représentation graphique très naturelle à 3 dimensions : un tétraèdre avec les 4 valeurs aux sommets, tel que la face opposée à chaque sommet représente le complément de ce sommet et les 6 arêtes sont opposées 2 à 2 de façon complémentaire. Pour info : un tétraèdre, c’est une pyramide à base (...)
Accueil du site > 1. Logique clinique du modèle fonctionnel > Exposé de logique tétravalente de Norman Molhant
Exposé de logique tétravalente de Norman Molhant
Dernier ajout : 1er 2007.
Articles de cette rubrique
-
Logique tétravalente (16)
1er 2007, par -
Logique tétravalente (15) (en construction)
1er 2007, parLogique tétravalente En chantier Cette page est encore en chantier. - - - À Bientôt ! - - - Page précédente Table des matières Copyright (c) 2005-2008, Norman Molhant Droit de copie et de diffusion accordés gratuitement à deux conditions : 1. ne pas altérer ni retirer la mention du copyright avec ces conditions 2. offrir gratuitement la consultation et le téléchargement de cette (...)
-
Logique tétravalente (14)
1er 2007, parLogique tétravalente Algorithme de résolution logique (partie 1) Il s’agit du mode de raisonnement à utiliser pour résoudre des problèmes posés en logique tétravalente, c-à-d : pour calculer la valeur de vérité d’énoncés de logique tétra. Le principe est très simple : pour calculer la valeur logique d’un énoncé, on construit un arbre de raisonnement dont les noeuds sont des points de questionnement portant chacun une branche pour chaque réponse possible en ce point et (...)
-
Logique tétravalente (13)
1er 2007, parLogique tétravalente Logique tétravalente versus logique binaire Note : les tables de vérité ci-dessous sont transposées par rapport aux tables de vérité des pages précédentes, les rangées sont devenues des colonnes et vice-versa. logique tétravalente binaire Valeurs élémentaires T, F, B, N {} dénote l’absence de valeur 1, 0 pas de concept d’absence de valeur diagramme de Venn Le diagramme au complet représente l’ensemble de toutes les assertions possibles (...)
-
Logique tétravalente (12)
1er 2007, parLogique tétravalente Méthode de déduction naturelle Une « méthode de déduction naturelle », c’est un ensemble de règles indiquant comment tirer des conclusions à partir d’hypothèses ou de prémisses, donc indiquant comment construire des formes valables d’inférences et comment les utiliser pour démontrer nos hypothèses. La méthode de déduction naturelle en logique tétravalente utilise l’ensemble des règles suivantes : Modus ponens : des prémisses p < TB (...)
RSS 2.0