Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Sentence_(logic)> ?p ?o }
Showing triples 1 to 58 of
58
with 100 triples per page.
- Sentence_(logic) abstract "This article is a technical mathematical article in the area of predicate logic. For the ordinary English language meaning see Sentence (linguistics), for a less technical introductory article see Statement (logic).In mathematical logic, a sentence of a predicate logic is a boolean-valued well-formed formula with no free variables. A sentence can be viewed as expressing a proposition, something that may be true or false. The restriction of having no free variables is needed to make sure that sentences can have concrete, fixed truth values: As the free variables of a (general) formula can range over several values, the truth value of such a formula may vary.Sentences without any logical connectives or quantifiers in them are known as atomic sentences; by analogy to atomic formula. Sentences are then built up out of atomic sentences by applying connectives and quantifiers.A set of sentences is called a theory; thus, individual sentences may be called theorems. To properly evaluate the truth (or falsehood) of a sentence, one must make reference to an interpretation of the theory. For first-order theories, interpretations are commonly called structures. Given a structure or interpretation, a sentence will have a fixed truth value. A theory is satisfiable when all of its sentences are true. The study of algorithms to automatically discover interpretations of theories that render all sentences as being true is known as the satisfiability modulo theories problem.".
- Sentence_(logic) wikiPageID "2129527".
- Sentence_(logic) wikiPageLength "3177".
- Sentence_(logic) wikiPageOutDegree "32".
- Sentence_(logic) wikiPageRevisionID "670287163".
- Sentence_(logic) wikiPageWikiLink Atomic_formula.
- Sentence_(logic) wikiPageWikiLink Atomic_sentence.
- Sentence_(logic) wikiPageWikiLink Category:Predicate_logic.
- Sentence_(logic) wikiPageWikiLink Category:Propositions.
- Sentence_(logic) wikiPageWikiLink Complex_number.
- Sentence_(logic) wikiPageWikiLink First-order_logic.
- Sentence_(logic) wikiPageWikiLink Free_variables_and_bound_variables.
- Sentence_(logic) wikiPageWikiLink Ground_expression.
- Sentence_(logic) wikiPageWikiLink Interpretation_(logic).
- Sentence_(logic) wikiPageWikiLink Logical_connective.
- Sentence_(logic) wikiPageWikiLink Mathematical_logic.
- Sentence_(logic) wikiPageWikiLink New_York_City.
- Sentence_(logic) wikiPageWikiLink Open_sentence.
- Sentence_(logic) wikiPageWikiLink Positive_real_numbers.
- Sentence_(logic) wikiPageWikiLink Predicate_logic.
- Sentence_(logic) wikiPageWikiLink Proposition.
- Sentence_(logic) wikiPageWikiLink Quantifier_(logic).
- Sentence_(logic) wikiPageWikiLink Real_number.
- Sentence_(logic) wikiPageWikiLink Satisfiability.
- Sentence_(logic) wikiPageWikiLink Satisfiability_modulo_theories.
- Sentence_(logic) wikiPageWikiLink Sentence_(linguistics).
- Sentence_(logic) wikiPageWikiLink Springer_Science+Business_Media.
- Sentence_(logic) wikiPageWikiLink Square_(algebra).
- Sentence_(logic) wikiPageWikiLink Statement_(logic).
- Sentence_(logic) wikiPageWikiLink Structure_(mathematical_logic).
- Sentence_(logic) wikiPageWikiLink Theorem.
- Sentence_(logic) wikiPageWikiLink Theory_(mathematical_logic).
- Sentence_(logic) wikiPageWikiLink Truth_value.
- Sentence_(logic) wikiPageWikiLink Well-formed_formula.
- Sentence_(logic) wikiPageWikiLinkText "Sentence (logic)".
- Sentence_(logic) wikiPageWikiLinkText "logical sentences".
- Sentence_(logic) wikiPageUsesTemplate Template:Citation.
- Sentence_(logic) wikiPageUsesTemplate Template:Cite_book.
- Sentence_(logic) wikiPageUsesTemplate Template:Logic-stub.
- Sentence_(logic) subject Category:Predicate_logic.
- Sentence_(logic) subject Category:Propositions.
- Sentence_(logic) hypernym Article.
- Sentence_(logic) type Person.
- Sentence_(logic) type Statement.
- Sentence_(logic) type Statement.
- Sentence_(logic) comment "This article is a technical mathematical article in the area of predicate logic. For the ordinary English language meaning see Sentence (linguistics), for a less technical introductory article see Statement (logic).In mathematical logic, a sentence of a predicate logic is a boolean-valued well-formed formula with no free variables. A sentence can be viewed as expressing a proposition, something that may be true or false.".
- Sentence_(logic) label "Sentence (logic)".
- Sentence_(logic) sameAs Q2509500.
- Sentence_(logic) sameAs פסוק_(לוגיקה_מתמטית).
- Sentence_(logic) sameAs Zdanie_logiczne.
- Sentence_(logic) sameAs Sentença_(lógica_matemática).
- Sentence_(logic) sameAs m.06p3fl.
- Sentence_(logic) sameAs Предложение_(логика).
- Sentence_(logic) sameAs Önerme.
- Sentence_(logic) sameAs Q2509500.
- Sentence_(logic) sameAs 句子_(数理逻辑).
- Sentence_(logic) wasDerivedFrom Sentence_(logic)?oldid=670287163.
- Sentence_(logic) isPrimaryTopicOf Sentence_(logic).