Proof by contradictionIn logic, proof by contradiction is a form of proof that establishes the truth or the validity of a proposition, by showing that assuming the proposition to be false leads to a contradiction. Although it is quite freely used in mathematical proofs, not every school of mathematical thought accepts this kind of nonconstructive proof as universally valid. More broadly, proof by contradiction is any form of argument that establishes a statement by arriving at a contradiction, even when the initial assumption is not the negation of the statement to be proved.
Stimulus (physiology)In physiology, a stimulus is a detectable change in the physical or chemical structure of an organism's internal or external environment. The ability of an organism or organ to detect external stimuli, so that an appropriate reaction can be made, is called sensitivity (excitability). Sensory receptors can receive information from outside the body, as in touch receptors found in the skin or light receptors in the eye, as well as from inside the body, as in chemoreceptors and mechanoreceptors.
Système sensorielUn système sensoriel est une partie du système nerveux responsable de la sensation. Il regroupe les récepteurs sensoriels, les voies nerveuses, et les parties du cerveau responsables du traitement de l'information sensorielle. L'ensemble des systèmes sensoriels se divisent en sensibilité générale ou somesthésie et en sens dits spécifiques : la vision, l'odorat, le goût, l'ouïe et le toucher. Il existe sept sens : les cinq sens vu ci-dessus (vision, odorat, goût, ouïe et toucher), ainsi que le système vestibulaire et le système proprioceptif.
Démonstration (logique et mathématiques)vignette| : un des plus vieux fragments des Éléments d'Euclide qui montre une démonstration mathématique. En mathématiques et en logique, une démonstration est un ensemble structuré d'étapes correctes de raisonnement. Dans une démonstration, chaque étape est soit un axiome (un fait acquis), soit l'application d'une règle qui permet d'affirmer qu'une proposition, la conclusion, est une conséquence logique d'une ou plusieurs autres propositions, les prémisses de la règle.
ChlorpromazineLa est historiquement le premier médicament antipsychotique. Vendue sous forme de chlorhydrate de chlorpromazine, dénommée Largactil en Europe et Thorazine aux États-Unis, elle fut initialement surnommée la « lobotomie chimique » par le Heinz Lehmann en raison des effets similaires avec cette pratique neurochirurgicale controversée. Le surnom de « camisole chimique » fut par la suite généralisé en raison de son effet narcotique. Elle possède un effet anxiolytique, hypnotique, antihypertenseur, antiémétique et anticholinergique.
Récepteur couplé aux protéines GLes récepteurs couplés aux protéines G (RCPG) sont une famille de récepteurs transmembranaires chez les mammifères. Parmi les nombreux récepteurs qui jouent un rôle dans la communication cellulaire, les récepteurs couplés aux protéines G (RCPG) constituent la plus grande famille de récepteurs membranaires de mammifères puisqu’elle représente 3,4 % du génome. Plus de la moitié des agents pharmacologiques agissent sur les RCPG : ils sont donc une classe de protéines d'importance thérapeutique majeure.
Raisonnement par disjonction de casProof by exhaustion, also known as proof by cases, proof by case analysis, complete induction or the brute force method, is a method of mathematical proof in which the statement to be proved is split into a finite number of cases or sets of equivalent cases, and where each type of case is checked to see if the proposition in question holds. This is a method of direct proof. A proof by exhaustion typically contains two stages: A proof that the set of cases is exhaustive; i.e.
Raisonnement par récurrencevignette|Le raisonnement par récurrence est comme une suite de dominos. Si la propriété est vraie au rang n0 (i. e. le premier domino de numéro 0 tombe) et si sa véracité au rang n implique celle au rang n + 1 (i. e. la chute du domino numéro n fait tomber le domino numéro n + 1) alors la propriété est vraie pour tout entier (i. e. tous les dominos tombent). En mathématiques, le raisonnement par récurrence (ou par induction, ou induction complète) est une forme de raisonnement visant à démontrer une propriété portant sur tous les entiers naturels.
Antagoniste (biochimie)En pharmacologie et en électrophysiologie, un antagoniste est une molécule interagissant avec un récepteur membranaire ou récepteur nucléaire et bloquant ou diminuant l'effet physiologique d'une autre molécule. L'antagoniste ne possédant pas de propriétés sur ce site de fixation (récepteur) empêche la fixation d'un ligand endogène. Si ces deux molécules agissent sur le même récepteur cellulaire, on parle d'antagonisme compétitif – la concentration efficace médiane (CE50) sera modifiée mais pas l'effet maximal (Emax).
OptogénétiqueL'optogénétique est un domaine de recherche et d’application associant les techniques de l’optique à celles de la génétique. Elle permet, par une stimulation lumineuse, d'altérer spécifiquement et localement un nombre limité de cellules modifiées génétiquement pour y être sensibles, sans perturber directement l'état des cellules voisines. Conceptualisée à la fin des années 1970, elle est consacrée par un mot dédié en 2006, puis élue méthode de l’année par Nature Methods en 2010.
