. . . . . . "Aserci\u00F3n l\u00F3gica"@es . . "En l\u00F3gica matem\u00E1tica, una aserci\u00F3n l\u00F3gica es una afirmaci\u00F3n que asevera que una premisa es verdadera. Por ejemplo, si p = x \"es par\", la implicaci\u00F3n 1. \n* es cierta. Podemos escribir esto mismo usando el s\u00EDmbolo de aserci\u00F3n como"@es . . . . . . . . . . . "Judgment (mathematical logic)"@en . . "3914"^^ . "Asserci\u00F3 l\u00F2gica"@ca . "En l\u00F3gica matem\u00E1tica, una aserci\u00F3n l\u00F3gica es una afirmaci\u00F3n que asevera que una premisa es verdadera. Por ejemplo, si p = x \"es par\", la implicaci\u00F3n 1. \n* es cierta. Podemos escribir esto mismo usando el s\u00EDmbolo de aserci\u00F3n como"@es . . . . "\u903B\u8F91\u65AD\u8A00"@zh . . . . . . "15014170"^^ . "En l\u00F2gica matem\u00E0tica, una asserci\u00F3 l\u00F2gica \u00E9s una afirmaci\u00F3 que assevera que una premissa \u00E9s veritable. Per exemple, si p = x \"\u00E9s parell\", la implicaci\u00F3 1. \n* \u00E9s certa. Podem el mateix usant el s\u00EDmbol d'asserci\u00F3 com"@ca . . . . . . . . . . "In mathematical logic, a judgment (or judgement) or assertion is a statement or enunciation in a metalanguage. For example, typical judgments in first-order logic would be that a string is a well-formed formula, or that a proposition is true. Similarly, a judgment may assert the occurrence of a free variable in an expression of the object language, or the provability of a proposition. In general, a judgment may be any inductively definable assertion in the metatheory. Judgments are used in formalizing deduction systems: a logical axiom expresses a judgment, premises of a rule of inference are formed as a sequence of judgments, and their conclusion is a judgment as well (thus, hypotheses and conclusions of proofs are judgments). A characteristic feature of the variants of Hilbert-style deduction systems is that the context is not changed in any of their rules of inference, while both natural deduction and sequent calculus contain some context-changing rules. Thus, if we are interested only in the derivability of tautologies, not hypothetical judgments, then we can formalize the Hilbert-style deduction system in such a way that its rules of inference contain only judgments of a rather simple form. The same cannot be done with the other two deductions systems: as context is changed in some of their rules of inferences, they cannot be formalized so that hypothetical judgments could be avoided\u2014not even if we want to use them just for proving derivability of tautologies. This basic diversity among the various calculi allows such difference, that the same basic thought (e.g. deduction theorem) must be proven as a metatheorem in Hilbert-style deduction system, while it can be declared explicitly as a rule of inference in natural deduction. In type theory, some analogous notions are used as in mathematical logic (giving rise to connections between the two fields, e.g. Curry\u2013Howard correspondence). The abstraction in the notion of judgment in mathematical logic can be exploited also in foundation of type theory as well."@en . . . . . . . . . . "1107161425"^^ . . . . "En l\u00F2gica matem\u00E0tica, una asserci\u00F3 l\u00F2gica \u00E9s una afirmaci\u00F3 que assevera que una premissa \u00E9s veritable. Per exemple, si p = x \"\u00E9s parell\", la implicaci\u00F3 1. \n* \u00E9s certa. Podem el mateix usant el s\u00EDmbol d'asserci\u00F3 com"@ca . . . . . "In mathematical logic, a judgment (or judgement) or assertion is a statement or enunciation in a metalanguage. For example, typical judgments in first-order logic would be that a string is a well-formed formula, or that a proposition is true. Similarly, a judgment may assert the occurrence of a free variable in an expression of the object language, or the provability of a proposition. In general, a judgment may be any inductively definable assertion in the metatheory."@en . . "\u903B\u8F91\u65AD\u8A00\uFF08\u82F1\u8A9E\uFF1ALogical assertion\uFF09\u662F\u65AD\u5B9A\u4E00\u4E2A\u7279\u5B9A\u524D\u63D0\u4E3A\u771F\u7684\u9648\u8FF0\uFF0C\u5E76\u4E14\u5BF9\u5728\u8BC1\u660E\u4E2D\u7684\u9648\u8FF0\u6709\u7528\u3002\u5B83\u7B49\u4EF7\u4E8E\u6709\u7A7A\u524D\u4EF6\u7684\u76F8\u7EE7\u5F0F\u3002 \u4F8B\u5982\uFF0C\u5982\u679C p = \"x \u662F\u5076\u6570\"\uFF0C\u5219\u8574\u6DB5 \u56E0\u6B64\u4E3A\u771F\u3002\u6211\u4EEC\u8FD8\u53EF\u4EE5\u4F7F\u7528\u903B\u8F91\u65AD\u8A00\u7B26\u53F7\u5199\u4E3A"@zh . . "\u903B\u8F91\u65AD\u8A00\uFF08\u82F1\u8A9E\uFF1ALogical assertion\uFF09\u662F\u65AD\u5B9A\u4E00\u4E2A\u7279\u5B9A\u524D\u63D0\u4E3A\u771F\u7684\u9648\u8FF0\uFF0C\u5E76\u4E14\u5BF9\u5728\u8BC1\u660E\u4E2D\u7684\u9648\u8FF0\u6709\u7528\u3002\u5B83\u7B49\u4EF7\u4E8E\u6709\u7A7A\u524D\u4EF6\u7684\u76F8\u7EE7\u5F0F\u3002 \u4F8B\u5982\uFF0C\u5982\u679C p = \"x \u662F\u5076\u6570\"\uFF0C\u5219\u8574\u6DB5 \u56E0\u6B64\u4E3A\u771F\u3002\u6211\u4EEC\u8FD8\u53EF\u4EE5\u4F7F\u7528\u903B\u8F91\u65AD\u8A00\u7B26\u53F7\u5199\u4E3A"@zh .