Translation for 'deductive' from English to Czech

deductive {adj}

deduktivní

• Wikipedia [9036109]';document.getElementById('wpsnip9036109').style='cursor:auto; background-color:rgba(0,0,0,0.1); padding:6px 10px; margin:1em 0 1em 0';">A "formal system" (also called a "logical calculus", or a "logical system") consists of a formal language together with a deductive apparatus (also called a "deductive system").
• Wikipedia [8347893]';document.getElementById('wpsnip8347893').style='cursor:auto; background-color:rgba(0,0,0,0.1); padding:6px 10px; margin:1em 0 1em 0';">Deduction board games are a genre of board game in which the players must use deductive reasoning and logic in order to win the game.
• Wikipedia [7486820]';document.getElementById('wpsnip7486820').style='cursor:auto; background-color:rgba(0,0,0,0.1); padding:6px 10px; margin:1em 0 1em 0';">The argument may be stated in inductive or deductive form An alternative, closely related, version of the argument uses Platonism as its premise in a deductive argument.
• Wikipedia [662748]';document.getElementById('wpsnip662748').style='cursor:auto; background-color:rgba(0,0,0,0.1); padding:6px 10px; margin:1em 0 1em 0';">Curry's paradox and other paradoxes arise in Lambda calculus because of the inconsistency of Lambda calculus considered as a deductive system. See also deductive lambda calculus.
• Wikipedia [3326869]';document.getElementById('wpsnip3326869').style='cursor:auto; background-color:rgba(0,0,0,0.1); padding:6px 10px; margin:1em 0 1em 0';">A deductive database is a database system that can make deductions (i.e. ...

• Wikipedia [186059]';document.getElementById('wpsnip186059').style='cursor:auto; background-color:rgba(0,0,0,0.1); padding:6px 10px; margin:1em 0 1em 0';">For a theory to be closed under a derivability relation, it must be associated with a deductive system that specifies how the theorems are derived.
• Wikipedia [1731106]';document.getElementById('wpsnip1731106').style='cursor:auto; background-color:rgba(0,0,0,0.1); padding:6px 10px; margin:1em 0 1em 0';">Non-deductive reasoning is an important form of logical reasoning besides deductive reasoning.
• Wikipedia [159470]';document.getElementById('wpsnip159470').style='cursor:auto; background-color:rgba(0,0,0,0.1); padding:6px 10px; margin:1em 0 1em 0';">Soundness of a deductive system is the property that any sentence that is provable in that deductive system is also true on all interpretations or structures of the semantic theory for the language upon which that theory is based.
• Wikipedia [1282231]';document.getElementById('wpsnip1282231').style='cursor:auto; background-color:rgba(0,0,0,0.1); padding:6px 10px; margin:1em 0 1em 0';">A deductive system (or, "deductive apparatus" of a formal system) consists of the axioms (or axiom schemata) and rules of inference that can be used to derive the theorems of the system.
• Wikipedia [1267827]';document.getElementById('wpsnip1267827').style='cursor:auto; background-color:rgba(0,0,0,0.1); padding:6px 10px; margin:1em 0 1em 0';">In order to sustain its deductive integrity, a "deductive apparatus" must be definable without reference to any intended interpretation of the language.

• Wikipedia [1148222]';document.getElementById('wpsnip1148222').style='cursor:auto; background-color:rgba(0,0,0,0.1); padding:6px 10px; margin:1em 0 1em 0';">The weakest deductive system that can be used consists of a standard deductive system for first-order logic (such as natural deduction) augmented with substitution rules for second-order terms.