请输入您要查询的字词:

 

单词 Logic
释义

logic


Generally, by logic, people mean first order logic, a formal set of rules for building mathematical statements out of symbols like ¬ (negationMathworldPlanetmath) and (implicationMathworldPlanetmath) along with quantifiersMathworldPlanetmath like (for every) and (there exists).

More generally, a logic is any set of rules for forming sentencesMathworldPlanetmath (the logic’s syntax) together with rules for assigning truth values to them (the logic’s semantics). Normally it includes a (possibly empty) set of types T (also called sorts), which represent the different kinds of objects that the theory discusses (typical examples might be sets, numbers, or sets of numbers). In additionPlanetmathPlanetmath it specifies particular quantifiers, connectivesMathworldPlanetmath, and variables. Particular theories in the logic can then add relationsMathworldPlanetmath and functions to fully specify a logical language.

Titlelogic
Canonical nameLogic
Date of creation2013-03-22 13:00:09
Last modified on2013-03-22 13:00:09
OwnerHenry (455)
Last modified byHenry (455)
Numerical id9
AuthorHenry (455)
Entry typeDefinition
Classificationmsc 03B15
Classificationmsc 03B10
Related topicFuzzySubset
Definessyntax
Definessemantics
Definestype
Definessort
随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 4:04:05