Santé mentale

Introduction :

Voici les derniers articles du site : Psy désir, Recherche clinique PSY : "Une nouvelle conception du psychisme et de ses troubles cliniques à partir d'un modèle logique original", Dr Jacques Louys.

Les articles et brèves présentés sont reccueillis de façon automatique. Les informations sont sous la responsabilité de l'auteur de l'article, la présentation sur cette page n'indique pas la position du CODES 78 - CYES sur le sujet.

Articles d'actualité du site Psy désir, Recherche clinique PSY :

• 20/05/2008 - Logique tétravalente (16) :
  Rubrique : Exposé de logique tétravalente de Norman Molhant - Auteur : Norman Molhant 
  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 triangulaire dont (Lire la suite...)
  Mots clés : Tétravalence, logique formelle, Logique tétravalente



• 20/05/2008 - Logique tétravalente (15) (en construction) :
  Rubrique : Exposé de logique tétravalente de Norman Molhant - Auteur : Norman Molhant 
  Logique 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 (Lire la suite...)
  Mots clés : Tétravalence, logique formelle, Logique tétravalente



• 20/05/2008 - Logique tétravalente (14) :
  Rubrique : Exposé de logique tétravalente de Norman Molhant - Auteur : Norman Molhant 
  Logique 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 dont chaque branche (Lire la suite...)
  Mots clés : Tétravalence, logique formelle, Logique tétravalente



• 20/05/2008 - Logique tétravalente (13) :
  Rubrique : Exposé de logique tétravalente de Norman Molhant - Auteur : Norman Molhant 
  Logique 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 en logique (Lire la suite...)
  Mots clés : Tétravalence, logique formelle, Logique tétravalente



• 20/05/2008 - Logique tétravalente (12) :
  Rubrique : Exposé de logique tétravalente de Norman Molhant - Auteur : Norman Molhant 
  Logique 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 et (p -> q) < r, (Lire la suite...)
  Mots clés : Tétravalence, logique formelle, Logique tétravalente



• 20/05/2008 - Logique tétravalente (11) :
  Rubrique : Exposé de logique tétravalente de Norman Molhant - Auteur : Norman Molhant 
  Logique tétravalente Lois et propriétés logiques
  Soient p, q, r trois sous-ensembles de notre univers TFBN,
  soient aussi les opérateurs "¬" (complément), "=" (égalité), "\" (inégalité), "<" (appartenance), ">" (inclusion), "&" (ET), " ; " (OU), "-" (SAUF), "%" (OU EXCLUSIF), "<-" (SI), "->" (ALORS),
  alors les lois et propriétés suivantes s'appliquent :
  fermeture (closure) : 1. pour tout ensemble p, il existe un ensemble unique ¬p 2. pour toute paire (Lire la suite...)
  Mots clés : Tétravalence, logique formelle, Logique tétravalente



• 20/05/2008 - Logique tétravalente (10) :
  Rubrique : Exposé de logique tétravalente de Norman Molhant - Auteur : Norman Molhant 
  Logique tétravalente Opérateurs -> (alors, implication) et <- (si, condition)
  Implication et condition : p -> q se lit "p implique q" ou encore "p alors q"
  q <- p se lit "q lorsque p" ou encore "q si p"
  q <- p = p -> q En logique booléenne, l'implication p -> q équivaut à ¬p ; q ou encore à ¬(p & ¬q).
  Transposer telle quelle en logique tétravalente cette définition de l'implication donne une absurdité, comme l'indique la table de vérité (Lire la suite...)
  Mots clés : Tétravalence, logique formelle, Logique tétravalente



• 20/05/2008 - Logique tétravalente (9) :
  Rubrique : Exposé de logique tétravalente de Norman Molhant - Auteur : Norman Molhant 
  Logique tétravalente Opérateurs < (appartenance) et > (inclusion)
  p appartient à q lorsque tous les éléments de p sont aussi des éléments de q
  (c-à-d : (p < q) lorsque p est un sous-ensemble de q). p inclus q lorsque tous les éléments de q sont aussi des éléments de p
  (c-à-d : (p > q) lorsque q est un sous-ensemble de p).
  Propriétés : (p < q) = (q > p) (p < q) = ((p & q) = p) (p > q) = ((p & q) (Lire la suite...)
  Mots clés : Tétravalence, logique formelle, Logique tétravalente



• 20/05/2008 - Logique tétravalente (8) :
  Rubrique : Exposé de logique tétravalente de Norman Molhant - Auteur : Norman Molhant 
  Logique tétravalente Opérateurs = (égalité) et \ (inégalité)
  p est égal à q lorsque tous les éléments de p sont aussi des éléments de q et tous les éléments de q sont aussi des éléments de p (c-à-d : lorsque p et q comprennent exactement les mêmes éléments), sinon p est inégal à q. (p = q) vaut T lorsque p est identiquement égal à q, F dans tous les autres cas. (p \ q) vaut F lorsque p est identiquement égal à q, T dans tous les autres cas.
  Table (Lire la suite...)
  Mots clés : Tétravalence, logique formelle, Logique tétravalente



• 20/05/2008 - Logique tétravalente (7) :
  Rubrique : Exposé de logique tétravalente de Norman Molhant - Auteur : Norman Molhant 
  Logique tétravalente Opérateur % (ou exclusif, exclusion)
  p % q est l'ensemble qui comprend tous les éléments qui sont dans p mais pas dans q ainsi que tous ceux qui sont dans q mais pas dans p.
  Loi de fermeture : Pour toute paire d'ensembles p et q, il existe un ensemble unique p % q Loi de commutativité : p % q = q % p Loi d'associativité : (p % q) % r = p % (q % r) Lois d'identité : p % {} = p
  p % p = {} Lois de (Lire la suite...)
  Mots clés : Tétravalence, logique formelle, Logique tétravalente