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.
HydrureL'ion hydrure est l'anion d'hydrogène H. Par extension, le terme hydrure désigne un composé chimique constitué d'hydrogène et d'un autre élément encore moins électronégatif (ou d'électronégativité comparable). À l’origine le terme « hydrure » était strictement réservé à des composés contenant des métaux, mais la définition a été étendue à des composés où l’hydrogène a un lien direct avec un autre élément, et où l'hydrogène est l'élément le plus électronégatif.
Groupe fonctionnelEn chimie, les composés organiques peuvent être considérés comme constitués d'un squelette relativement non réactif appelé lalcane parent en nomenclature substitutive, et d’un ou plusieurs groupes fonctionnels. Le groupe fonctionnel est un atome, ou un groupe d'atomes, qui a des propriétés chimiques similaires chaque fois qu'il est présent dans des composés différents. Il définit les propriétés caractéristiques physiques et chimiques des familles de composés organiques.
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.
Group 14 hydrideGroup 14 hydrides are chemical compounds composed of hydrogen atoms and group 14 atoms (the elements of group 14 are carbon, silicon, germanium, tin, lead and flerovium). The tetrahydride series has the chemical formula , with X representing any of the carbon family. Methane is commonly the result of the decomposition of organic matter and is a greenhouse gas. The other hydrides are generally unstable, poisonous metal hydrides. They take on a pyramidal structure, and as such are not polar molecules like the other p-block hydrides.
Hydrure d'aluminiumL'hydrure d'aluminium, ou alane, est un composé chimique de formule . Il se présente sous la forme d'une poudre blanche tirant sur le gris lorsque la taille des grains diminue ainsi que lorsque le taux d'impuretés croît. Il est soluble dans le tétrahydrofurane (THF) et dans l'éther diéthylique ; le taux de précipitation d'alane solide depuis une solution d'éther dépend de la méthode de préparation. Très sensible à l'humidité et à l'oxydation, la surface des grains peut être passivée par une fine couche d'alumine ou d'hydroxyde d'aluminium .
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.
Oxydoréduction en chimie organiqueLes réactions d'oxydoréduction sont d'une importance capitale en chimie organique. Néanmoins, la structure des composés rend l'approche assez différente de ce que l'on observe en chimie inorganique ou en électrochimie notamment parce que les principes d'oxydoréduction traitent plutôt, dans ces deux derniers cas, de composés ioniques ; les liaisons chimiques dans une structure organique sont essentiellement covalentes, les réactions d'oxydoréduction organiques ne présentent donc pas de transfert d’électron dans le sens électrochimique du terme.
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.
Tétrahydruroaluminate de lithiumL'aluminohydrure de lithium, aussi appelé tétrahydruroaluminate de lithium (), généralement noté LAH, est un puissant générateur d'hydrures donc un fort réducteur utilisé en chimie organique. Il est plus puissant que le borohydrure de sodium (appelé aussi tétrahydruroborate de sodium), autre réactif de réduction, car la liaison Al-H est plus faible que la liaison B-H. Il transforme les esters, les acides carboxyliques et les cétones en alcools et les composés nitrés en amines.
