Lexic.us

Definition of Deduction theorem

1. Noun. (logic) A procedure for "discharging" assumptions from an inference, causing them to become antecedents of the conclusion; or vice versa. Symbolically, the conversion of an inference of the form $P,\; A\; \backslash vdash\; C$ to an inference of the form $P\; \backslash vdash\; A\; \backslash rightarrow\; C$ or vice versa, where $\backslash vdash$ is the turnstile symbol. The validity of the procedure is a metatheorem of the given logical theory. ¹

Words people are searching for today:

moteliers, concierges, dicrotic_wave, creepingly, dreamiest, wysiwygs, boorde, Åland_islands, drollish, pseudoagouti, biocytinase, atween, conger, salvia_officinalis, multimorphemic, rubby-dub, greywacke, postcolonialism, thylacines, jickajog, in_spades, visitest, scratchboards, fletching, vacuum_pumps, routhie, galactonojirimycin, groupware, acne_neonatorum, evening-primrose_family, ascending_tick_paralysis, nct, uxi, thiamylal_sodium, toyingly, taproots, wood's_lamp, delphian, entablatures, 'aircut, meissner's_corpuscle, plica_duodenomesocolica, tool-rest, ran, napalmlike, plant_tissue, unstable, acetylgalactosaminyltransferase, phormiums, arabinoadenosine

Privacy Policy | Contact Us | Powered by WordNet