英语词汇“semantic consequence”的英英意思、用法、释义、翻译、读音、例句、短语、词组-英语词典

semantic consequence n. Logic the relationship by which a sentence must be true whenever every member of a given set of sentences is true; logical consequence conceived semantically, as in model theory, rather than syntactically, as in proof theory; (also) a sentence which must be true whenever every member of a given set of sentences is true; contrasted with syntactic consequence n. at syntactic adj. Compounds 2. [A. Tarski (‘O pojęciu wynikania logicznego’, in Przegląd filozoficzny (1936) 39 58–68) is credited with having given the concept a rigorous theoretical basis and to have set it formally within the context of modern logic; compare quot. 1968. In his 1936 paper, Tarski used Polish wynikanie logiczne ‘logical consequence’, but no formal parallel to semantic consequence ; Polish wynikanie semantyczne ‘semantic consequence’ is 1960 or earlier. A German version of Tarski's paper was published in Actes du Congrès international de philosophie scientifique, Sorbonne, Paris 1935 VII. (1936) 1–11; it used German logische Folgerung . Compare semantic entailment , in same sense (E. W. Beth, 1955 or earlier; compare quot. 2000).]

ΚΠ

1964 C. R. Karp Lang. Expressions Infinite Length x. 104 A is a semantic consequence of ∆..if A holds in all models of ∆.

1968 Jrnl. Symbolic Logic 33 232 A set S of formulas of SC is often said to imply a formula A of SC (or, for those who favor Tarski's terminology, A is said to be a semantic consequence of S) when every assignment of truth-values to the sentence variables of SC that occur in the various members of S ∪ {A} fails to satisfy a member of S or else satisfies A.

1982 Mind 91 222 A soundness proof for a deductive system L establishes that if B is a syntactic consequence of A according to the axioms and/or rules of L, then B is also a semantic consequence of A in L.

2000 Z. Pawlak et al. in L. Polkowski et al. Rough Set Methods & Applic. xii. 595 With a logic we associate therefore two basic relations: the relation of syntactic consequence denoted ⊢, and the relation of semantic consequence (entailment) denoted ⊨.

2012 D. Papineau Philos. Devices iv. xi. 151 If [in propositional logic] one sentence is a syntactic consequence of some others (that is, it is provable from them), then it must be a semantic consequence too (that is, its truth must be guaranteed by their truth).

单词	semantic consequence
释义	> as lemmas semantic consequence semantic consequence n. Logic the relationship by which a sentence must be true whenever every member of a given set of sentences is true; logical consequence conceived semantically, as in model theory, rather than syntactically, as in proof theory; (also) a sentence which must be true whenever every member of a given set of sentences is true; contrasted with syntactic consequence n. at syntactic adj. Compounds 2. [A. Tarski (‘O pojęciu wynikania logicznego’, in Przegląd filozoficzny (1936) 39 58–68) is credited with having given the concept a rigorous theoretical basis and to have set it formally within the context of modern logic; compare quot. 1968. In his 1936 paper, Tarski used Polish wynikanie logiczne ‘logical consequence’, but no formal parallel to semantic consequence ; Polish wynikanie semantyczne ‘semantic consequence’ is 1960 or earlier. A German version of Tarski's paper was published in Actes du Congrès international de philosophie scientifique, Sorbonne, Paris 1935 VII. (1936) 1–11; it used German logische Folgerung . Compare semantic entailment , in same sense (E. W. Beth, 1955 or earlier; compare quot. 2000).] ΚΠ 1964 C. R. Karp Lang. Expressions Infinite Length x. 104 A is a semantic consequence of ∆..if A holds in all models of ∆. 1968 Jrnl. Symbolic Logic 33 232 A set S of formulas of SC is often said to imply a formula A of SC (or, for those who favor Tarski's terminology, A is said to be a semantic consequence of S) when every assignment of truth-values to the sentence variables of SC that occur in the various members of S ∪ {A} fails to satisfy a member of S or else satisfies A. 1982 Mind 91 222 A soundness proof for a deductive system L establishes that if B is a syntactic consequence of A according to the axioms and/or rules of L, then B is also a semantic consequence of A in L. 2000 Z. Pawlak et al. in L. Polkowski et al. Rough Set Methods & Applic. xii. 595 With a logic we associate therefore two basic relations: the relation of syntactic consequence denoted ⊢, and the relation of semantic consequence (entailment) denoted ⊨. 2012 D. Papineau Philos. Devices iv. xi. 151 If [in propositional logic] one sentence is a syntactic consequence of some others (that is, it is provable from them), then it must be a semantic consequence too (that is, its truth must be guaranteed by their truth). extracted from semanticadj. < as lemmas
随便看	of the same of the same diet of the same flight of the same leaven of the same meal of the same order of the same venter of the same, that, every, etc feather of the season of the second etc magnitude of the second magnitude of the second third magnitude of the sudden of the third point of the week of the whole blood of the world of the year of the —— persuasion of their purposing of theirs of thine of this date of this description of this sort

> as lemmas