“first-order logic”的概念、定义、翻译、参考文献-科学参考

first-order logic

Mathematics

In propositional logic, sentences do not involve quantifiers; for example, De Morgan’s Laws are laws of propositional logic. Also known as predicate logic, first-order logic is an extension of propositional logic which permits quantifiers over elements; for example, (∀x∈ℝ)(∃y∈ℝ)(x + y = 0) states that every real number has an additive inverse. But the completeness axiom for ℝ, that every non-empty, bounded-above subset of ℝ has a supremum, necessarily involves quantification over subsets of ℝ, and so is a second-order sentence.

Computer

Logic

A form of logic for a language including the quantifiers $\forall$ or $\exists$ , whose bound variables stand in name places, as in $\exists x \neg P x$ or $\exists x \forall y Rxy$ .

Philosophy

单词	first-order logic
释义	first-order logic Mathematics In propositional logic, sentences do not involve quantifiers; for example, De Morgan’s Laws are laws of propositional logic. Also known as predicate logic, first-order logic is an extension of propositional logic which permits quantifiers over elements; for example, (∀x∈ℝ)(∃y∈ℝ)(x + y = 0) states that every real number has an additive inverse. But the completeness axiom for ℝ, that every non-empty, bounded-above subset of ℝ has a supremum, necessarily involves quantification over subsets of ℝ, and so is a second-order sentence. Computer Another name for predicate calculus. Logic A form of logic for a language including the quantifiers $\forall$ or $\exists$ , whose bound variables stand in name places, as in $\exists x \neg P x$ or $\exists x \forall y Rxy$ . Philosophy The study of inference in first-order languages.
随便看	Muskogee musk ox muskrat Muslim League Muslims Muspratt, James Mussadegh, Muhammad (1880–1967) Musschenbroek, Pieter van mussel Mussolini, Benito (1883–1945) mustang mustard mustard gas Mustelidae muster area mutagen mutant mutarotation mutation mutation frequency mutation rate mutatis mutandis mutatus Mutesa I (1884) Mutesa II, Sir Edward Frederick (1924–69)