deduction theorem angličtina

Význam deduction theorem význam

Co v angličtině znamená deduction theorem?

deduction theorem podstatné jméno

— (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 \vdash C to an inference of the form P \vdash A \rightarrow C or vice versa, where \vdash is the turnstile symbol. The validity of the procedure is a metatheorem of the given logical theory.

Doporučujeme

Patnáct vět anglickyVedro | HeatTakhle si můžete anglicky postěžovat na letní vedro.Naučit se 15vet.cz »

Možná hledáte...

deduction | theorem