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.
Protecting groupA protecting group or protective group is introduced into a molecule by chemical modification of a functional group to obtain chemoselectivity in a subsequent chemical reaction. It plays an important role in multistep organic synthesis. In many preparations of delicate organic compounds, some specific parts of their molecules cannot survive the required reagents or chemical environments. Then, these parts, or groups, must be protected. For example, lithium aluminium hydride is a highly reactive but useful reagent capable of reducing esters to alcohols.
Fluid catalytic crackingFluid Catalytic Cracking (FCC) is the conversion process used in petroleum refineries to convert the high-boiling point, high-molecular weight hydrocarbon fractions of petroleum (crude oils) into gasoline, alkene gases, and other petroleum products. The cracking of petroleum hydrocarbons was originally done by thermal cracking, now virtually replaced by catalytic cracking, which yields greater volumes of high octane rating gasoline; and produces by-product gases, with more carbon-carbon double bonds (i.e.
Catalytic cycleIn chemistry, a catalytic cycle is a multistep reaction mechanism that involves a catalyst. The catalytic cycle is the main method for describing the role of catalysts in biochemistry, organometallic chemistry, bioinorganic chemistry, materials science, etc. Since catalysts are regenerated, catalytic cycles are usually written as a sequence of chemical reactions in the form of a loop. In such loops, the initial step entails binding of one or more reactants by the catalyst, and the final step is the release of the product and regeneration of the catalyst.
Asymmetric hydrogenationAsymmetric hydrogenation is a chemical reaction that adds two atoms of hydrogen to a target (substrate) molecule with three-dimensional spatial selectivity. Critically, this selectivity does not come from the target molecule itself, but from other reagents or catalysts present in the reaction. This allows spatial information (what chemists refer to as chirality) to transfer from one molecule to the target, forming the product as a single enantiomer.
Metal carbonylMetal carbonyls are coordination complexes of transition metals with carbon monoxide ligands. Metal carbonyls are useful in organic synthesis and as catalysts or catalyst precursors in homogeneous catalysis, such as hydroformylation and Reppe chemistry. In the Mond process, nickel tetracarbonyl is used to produce pure nickel. In organometallic chemistry, metal carbonyls serve as precursors for the preparation of other organometallic complexes.
OrganocatalysisIn organic chemistry, organocatalysis is a form of catalysis in which the rate of a chemical reaction is increased by an organic catalyst. This "organocatalyst" consists of carbon, hydrogen, sulfur and other nonmetal elements found in organic compounds. Because of their similarity in composition and description, they are often mistaken as a misnomer for enzymes due to their comparable effects on reaction rates and forms of catalysis involved.
HaloalkaneThe haloalkanes (also known as halogenoalkanes or alkyl halides) are alkanes containing one or more halogen substituents. They are a subset of the general class of halocarbons, although the distinction is not often made. Haloalkanes are widely used commercially. They are used as flame retardants, fire extinguishants, refrigerants, propellants, solvents, and pharmaceuticals. Subsequent to the widespread use in commerce, many halocarbons have also been shown to be serious pollutants and toxins.
Mathematical proofA mathematical proof is a deductive argument for a mathematical statement, showing that the stated assumptions logically guarantee the conclusion. The argument may use other previously established statements, such as theorems; but every proof can, in principle, be constructed using only certain basic or original assumptions known as axioms, along with the accepted rules of inference. Proofs are examples of exhaustive deductive reasoning which establish logical certainty, to be distinguished from empirical arguments or non-exhaustive inductive reasoning which establish "reasonable expectation".
Aryl halideIn organic chemistry, an aryl halide (also known as haloarene) is an aromatic compound in which one or more hydrogen atoms, directly bonded to an aromatic ring are replaced by a halide. The haloarene are different from haloalkanes because they exhibit many differences in methods of preparation and properties. The most important members are the aryl chlorides, but the class of compounds is so broad that there are many derivatives and applications. Aryl chlorides are the aryl halides produced on the largest scale commercially: 150,000 tons/y in the US alone (1994).
