Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Term_(logic)> ?p ?o }
- Term_(logic) abstract "In analogy to natural language, where a noun phrase refers to an object and a whole sentence refers to a fact, in mathematical logic, a term denotes a mathematical object and a formula denotes a mathematical fact. In particular, terms appear as components of a formula.A first-order term is recursively constructed from constant symbols, variables and function symbols.An expression formed by applying a predicate symbol to an appropriate number of terms is called an atomic formula, which evaluates to true or false in bivalent logics, given an interpretation.For example, (x+1)*(x+1) is a term built from the constant 1, the variable x, and the binary function symbols + and *; it is part of the atomic formula (x+1)*(x+1) ≥ 0 which evaluates to true for each real-numbered value of x.Besides in logic, terms play important roles in universal algebra, and rewriting systems.".
- Term_(logic) thumbnail Tree_structure_of_mathematical_first-order_terms_svg.svg?width=300.
- Term_(logic) wikiPageID "24885593".
- Term_(logic) wikiPageLength "20698".
- Term_(logic) wikiPageOutDegree "76".
- Term_(logic) wikiPageRevisionID "680691597".
- Term_(logic) wikiPageWikiLink Addend.
- Term_(logic) wikiPageWikiLink Addition.
- Term_(logic) wikiPageWikiLink Anonymous_function.
- Term_(logic) wikiPageWikiLink Atomic_formula.
- Term_(logic) wikiPageWikiLink C_(programming_language).
- Term_(logic) wikiPageWikiLink Category:Elementary_mathematics.
- Term_(logic) wikiPageWikiLink Category:Mathematical_logic.
- Term_(logic) wikiPageWikiLink Category:Rewriting_systems.
- Term_(logic) wikiPageWikiLink Coefficient.
- Term_(logic) wikiPageWikiLink Complex_number.
- Term_(logic) wikiPageWikiLink Distinct.
- Term_(logic) wikiPageWikiLink Division_(mathematics).
- Term_(logic) wikiPageWikiLink Divisor.
- Term_(logic) wikiPageWikiLink Domain_of_discourse.
- Term_(logic) wikiPageWikiLink Encompassment_ordering.
- Term_(logic) wikiPageWikiLink Equation.
- Term_(logic) wikiPageWikiLink Expression_(mathematics).
- Term_(logic) wikiPageWikiLink False_(logic).
- Term_(logic) wikiPageWikiLink Field_(mathematics).
- Term_(logic) wikiPageWikiLink First-order_logic.
- Term_(logic) wikiPageWikiLink Formal_grammar.
- Term_(logic) wikiPageWikiLink Formula_(mathematical_logic).
- Term_(logic) wikiPageWikiLink Fraction_(mathematics).
- Term_(logic) wikiPageWikiLink Free_object.
- Term_(logic) wikiPageWikiLink Function_symbol_(logic).
- Term_(logic) wikiPageWikiLink Grammar_formalism.
- Term_(logic) wikiPageWikiLink Ground_expression.
- Term_(logic) wikiPageWikiLink Ground_term.
- Term_(logic) wikiPageWikiLink Herbrand_universe.
- Term_(logic) wikiPageWikiLink Infix_notation.
- Term_(logic) wikiPageWikiLink Initial_algebra.
- Term_(logic) wikiPageWikiLink Integer_division.
- Term_(logic) wikiPageWikiLink Interpretation_(logic).
- Term_(logic) wikiPageWikiLink Lambda_calculus.
- Term_(logic) wikiPageWikiLink Lambda_term.
- Term_(logic) wikiPageWikiLink Like_and_unlike_terms.
- Term_(logic) wikiPageWikiLink Like_terms.
- Term_(logic) wikiPageWikiLink Linear_combination.
- Term_(logic) wikiPageWikiLink Logic.
- Term_(logic) wikiPageWikiLink Logical_connective.
- Term_(logic) wikiPageWikiLink Many-sorted_logic.
- Term_(logic) wikiPageWikiLink Mathematical_logic.
- Term_(logic) wikiPageWikiLink Minuend.
- Term_(logic) wikiPageWikiLink Monomial.
- Term_(logic) wikiPageWikiLink Multiplication.
- Term_(logic) wikiPageWikiLink Noun_phrase.
- Term_(logic) wikiPageWikiLink Operation_(mathematics).
- Term_(logic) wikiPageWikiLink Partial_order.
- Term_(logic) wikiPageWikiLink Partially_ordered_set.
- Term_(logic) wikiPageWikiLink Polish_notation.
- Term_(logic) wikiPageWikiLink Polynomial.
- Term_(logic) wikiPageWikiLink Predicate_(logic).
- Term_(logic) wikiPageWikiLink Predicate_(mathematical_logic).
- Term_(logic) wikiPageWikiLink Principle_of_bivalence.
- Term_(logic) wikiPageWikiLink Quantifier_(logic).
- Term_(logic) wikiPageWikiLink Rational_number.
- Term_(logic) wikiPageWikiLink Real_number.
- Term_(logic) wikiPageWikiLink Recursive_definition.
- Term_(logic) wikiPageWikiLink Reflexive_relation.
- Term_(logic) wikiPageWikiLink Rewriting.
- Term_(logic) wikiPageWikiLink Rewriting_system.
- Term_(logic) wikiPageWikiLink Sentence_(linguistics).
- Term_(logic) wikiPageWikiLink Sequence.
- Term_(logic) wikiPageWikiLink Series_(mathematics).
- Term_(logic) wikiPageWikiLink Signature_(logic).
- Term_(logic) wikiPageWikiLink Substitution_(logic).
- Term_(logic) wikiPageWikiLink Subtraction.
- Term_(logic) wikiPageWikiLink Subtrahend.
- Term_(logic) wikiPageWikiLink Term_algebra.
- Term_(logic) wikiPageWikiLink Term_rewriting.
- Term_(logic) wikiPageWikiLink Ternary_operation.
- Term_(logic) wikiPageWikiLink Tree_(data_structure).
- Term_(logic) wikiPageWikiLink Truth.
- Term_(logic) wikiPageWikiLink Tuple.
- Term_(logic) wikiPageWikiLink Unification_(computer_science).
- Term_(logic) wikiPageWikiLink Uninterpreted_function.
- Term_(logic) wikiPageWikiLink Universal_algebra.
- Term_(logic) wikiPageWikiLink Variable_(mathematics).
- Term_(logic) wikiPageWikiLink Vector_space.
- Term_(logic) wikiPageWikiLink Well-formed_formula.
- Term_(logic) wikiPageWikiLink File:Example_term_for_position,_path,_depth,_match_svg.svg.
- Term_(logic) wikiPageWikiLink File:Tree_structure_of_mathematical_first-order_terms_svg.svg.
- Term_(logic) wikiPageWikiLinkText "Term (logic)".
- Term_(logic) wikiPageWikiLinkText "Term (logic)#Ground and linear terms".
- Term_(logic) wikiPageWikiLinkText "Term (logic)#Structural equality".
- Term_(logic) wikiPageWikiLinkText "all terms".
- Term_(logic) wikiPageWikiLinkText "constant".
- Term_(logic) wikiPageWikiLinkText "context".
- Term_(logic) wikiPageWikiLinkText "contextual embedding".
- Term_(logic) wikiPageWikiLinkText "equality modulo renaming".
- Term_(logic) wikiPageWikiLinkText "expressions".
- Term_(logic) wikiPageWikiLinkText "finite terms".
- Term_(logic) wikiPageWikiLinkText "first-order term".
- Term_(logic) wikiPageWikiLinkText "first-order terms".