This HTML5 document contains 135 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dbpedia-dehttp://de.dbpedia.org/resource/
dctermshttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-huhttp://hu.dbpedia.org/resource/
dbpedia-eshttp://es.dbpedia.org/resource/
n27https://global.dbpedia.org/id/
yagohttp://dbpedia.org/class/yago/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
dbpedia-ethttp://et.dbpedia.org/resource/
freebasehttp://rdf.freebase.com/ns/
dbpedia-pthttp://pt.dbpedia.org/resource/
dbpedia-cshttp://cs.dbpedia.org/resource/
dbpedia-fihttp://fi.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
dbpedia-arhttp://ar.dbpedia.org/resource/
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbpedia-frhttp://fr.dbpedia.org/resource/
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
goldhttp://purl.org/linguistics/gold/
wikidatahttp://www.wikidata.org/entity/
dbpedia-nlhttp://nl.dbpedia.org/resource/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Satisfiability
rdf:type
yago:Concept105835747 yago:PsychologicalFeature100023100 yago:Abstraction100002137 yago:Cognition100023271 yago:WikicatConceptsInLogic yago:Content105809192 dbo:Automobile yago:Idea105833840
rdfs:label
Satisfacibilidad Satisfatibilidade Erfüllbarkeit Satisfaisabilité Splnitelnost قابلية الإرضاء Vervulbaarheid Satisfiability
rdfs:comment
En lógica proposicional, la satisfacibilidad se define como la propiedad de un conjunto de fórmulas de tener un modelo. Decimos que una fórmula es satisfacible cuando después de analizarla bajo una interpretación dada afirmamos que tiene valor 1; o lo que es lo mismo, es verdadera. * Datos: Q1350299 Erfüllbarkeit ist in der Logik und Mathematik ein metasprachliches Prädikat für die Eigenschaft von logischen Aussagen und Aussageformen. Eine Aussage ist erfüllbar, wenn es eine Belegung (Interpretation, Bewertung) der Variablen gibt, für die der Wahrheitswert des gesamten Ausdrucks wahr ist. In mathematical logic, a formula is satisfiable if it is true under some assignment of values to its variables. For example, the formula is satisfiable because it is true when and , while the formula is not satisfiable over the integers. The dual concept to satisfiability is validity; a formula is valid if every assignment of values to its variables makes the formula true. For example, is valid over the integers, but is not. En logique mathématique, la satisfaisabilité ou satisfiabilité et la validité sont des concepts élémentaires de sémantique. Une formule est satisfaisable s'il est possible de trouver une interprétation (modèle), une façon d'interpréter tous les éléments constitutifs de la formule, qui rend la formule vraie. Une formule est universellement valide, ou en raccourci valide si, pour toutes les interprétations, la formule est vraie. Les concepts opposés sont la non satisfaisabilité ou insatisfaisabilité et la non-validité : une formule est insatisfaisable si aucune de ses interprétations ne rend la formule vraie et non valide s'il existe une interprétation qui rend la formule fausse. V logice představuje splnitelnost (často zkracovaná jako SAT z anglického satisfiability) problém odpovědi na otázku, zdali existuje zadanému výrazu (formuli) zapsaného ve výrokové ... Booleovské logice například pomocí operací AND, OR a NOT přiřazení, při kterém bude výraz ohodnocen jako pravdivý. Zároveň je důležité určit,[zdroj?!] jestli pro zadaný výraz žádné takové přiřazení neexistuje, taková skutečnost implikuje, že zadaná funkce vyjádřená pomocí stanovených[zdroj?!] formulí je kontradikce (tedy že při jakémkoli vstupu je na výstupu hodnota FALSE) - při takové situaci říkáme, že je funkce nesplnitelná (anglicky unsatisfiable), jinak je funkce splnitelná (satisfiable). Například výraz a AND b je splnitelný, protože existují hodnoty a = TRUE and b = TRUE, při kterých výraz (a AND b) = In de klassieke propositielogica is een propositie vervulbaar als er een toekenning van waarheidswaardes aan de atomaire formules van die propositie bestaat zodat de propositie waar is. Als zo'n toekenning niet bestaat is de propositie onvervulbaar. Een onvervulbare propositie wordt wel een contradictie genoemd. De vervulbaarheid van een formule kan met een waarheidstabel worden gecontroleerd. Na lógica matemática, satisfatibilidade e validade são conceitos elementares da semântica. Uma fórmula é satisfazível se é possível achar uma interpretação ( modelo) que torne a fórmula verdadeira. Uma fórmula é válida se todas as interpretações tornam a fórmula verdadeira. Os opostos deste conceito são insatisfatibilidade e invalidade, isto é, uma fórmula é insatisfazível se nenhuma das interpretações tornam a fórmula verdadeira, e inválida se alguma dessas interpretações tornam a fórmula falsa. Estes quatro conceitos estão relacionados uns aos outros de maneira exatamente análoga ao quadrado das oposições de Aristóteles. قابلية الإرضاء تعبير في الرياضيات وفي نظرية التعقيد الحسابي ذو أهمية كبيرة جدا.
dcterms:subject
dbc:Philosophy_of_logic dbc:Model_theory dbc:Logical_truth dbc:Concepts_in_logic
dbo:wikiPageID
23401166
dbo:wikiPageRevisionID
1123975948
dbo:wikiPageWikiLink
dbr:Atomic_formula dbr:Mathematical_optimization dbr:Semantics dbr:Ofer_Strichman dbr:Gödel's_completeness_theorem dbr:List_of_logic_systems dbr:Well-formed_formula dbr:Entscheidungsproblem dbr:PTIME dbr:Aristotle dbr:Theory_(mathematical_logic) dbr:Second-order_logic dbr:2-satisfiability dbr:Linear_inequality dbr:Congruence_closure dbr:RE_(complexity) dbr:Integer_programming dbr:Variable_(mathematics) dbr:Validity_(logic) dbr:Circuit_satisfiability dbr:Atomic_sentence dbr:Karp's_21_NP-complete_problems dbr:Hilbert's_tenth_problem dbr:Square_of_opposition dbr:Semidecidable dbr:Computational_complexity_theory dbr:Finite_model_property dbr:Finite_model_theory dbr:Linear_programming dbr:Classical_propositional_logic dbc:Philosophy_of_logic dbc:Model_theory dbr:Constraint_satisfaction dbr:NP-complete dbr:Trakhtenbrot's_theorem dbr:Decidability_(logic) dbr:Logical_conjunction dbr:Decision_problem dbr:Interpretation_(logic) dbr:Cylindrical_algebraic_decomposition dbr:Term_rewriting dbr:Universal_algebra dbr:Propositional_logic dbr:Unification_(computer_science) dbr:Co-NP-complete dbr:Classical_logic dbr:David_Hilbert dbc:Concepts_in_logic dbc:Logical_truth dbr:System_of_linear_equations dbr:Model_theory dbr:Consistency dbr:Equational_theory dbr:Axiom dbr:First-order_logic dbr:Propositional_calculus dbr:Structure_(logic) dbr:Computably_enumerable dbr:Undecidable_problem dbr:Peano_axioms dbr:Satisfiability_modulo_theories dbr:Automated_theorem_proving dbr:Theory_(logic) dbr:Mathematical_logic dbr:Decidable_problem dbr:Syntax_(logic) dbr:Variable-free dbr:Logical_constant dbr:Boolean_satisfiability_problem
owl:sameAs
dbpedia-fr:Satisfaisabilité dbpedia-ar:قابلية_الإرضاء dbpedia-es:Satisfacibilidad dbpedia-et:Kehtestatav_valem freebase:m.06w7sm3 dbpedia-de:Erfüllbarkeit dbpedia-cs:Splnitelnost wikidata:Q1350299 dbpedia-nl:Vervulbaarheid dbpedia-fi:Toteutuvuus yago-res:Satisfiability dbpedia-hu:Kielégíthetőség dbpedia-pt:Satisfatibilidade n27:N2cX
dbp:wikiPageUsesTemplate
dbt:Clarify_span dbt:Mathematical_logic dbt:Further dbt:Main dbt:Reflist dbt:Sfn dbt:Rp dbt:Cite_book dbt:Short_description dbt:Metalogic
dbo:abstract
Na lógica matemática, satisfatibilidade e validade são conceitos elementares da semântica. Uma fórmula é satisfazível se é possível achar uma interpretação ( modelo) que torne a fórmula verdadeira. Uma fórmula é válida se todas as interpretações tornam a fórmula verdadeira. Os opostos deste conceito são insatisfatibilidade e invalidade, isto é, uma fórmula é insatisfazível se nenhuma das interpretações tornam a fórmula verdadeira, e inválida se alguma dessas interpretações tornam a fórmula falsa. Estes quatro conceitos estão relacionados uns aos outros de maneira exatamente análoga ao quadrado das oposições de Aristóteles. Os quatro conceitos podem ser usados para aplicar todas as teorias: uma teoria é satisfazível (válida) se uma (todas) as interpretações torna(m) cada um dos axiomas da teoria verdade, e a teoria é insatisfazível (inválida) se todas (uma) as interpretações tornam(a) cada um dos axiomas da teoria falso. Também é possível considerar apenas as interpretações que tornam todos os axiomas de uma segunda teoria verdadeiros. Esta generalização é comumente chamada satisfatibilidade módulo teorias. A questão de saber se uma sentença em uma proposição lógica é satisfatíval é um problema de decisão. Em geral, a questão de saber se sentenças em lógica de primeira ordem são satisfeitas não é decidível. Na álgebra universal e teoria das equações, os métodos de reescrita de termos, fecho de congruência e unificação são usados para tentar decidir satisfatibilidade. Uma teoria particular é decidida ou não depende se a teoria é livre de variável ou está em outras condições. قابلية الإرضاء تعبير في الرياضيات وفي نظرية التعقيد الحسابي ذو أهمية كبيرة جدا. In de klassieke propositielogica is een propositie vervulbaar als er een toekenning van waarheidswaardes aan de atomaire formules van die propositie bestaat zodat de propositie waar is. Als zo'n toekenning niet bestaat is de propositie onvervulbaar. Een onvervulbare propositie wordt wel een contradictie genoemd. De vervulbaarheid van een formule kan met een waarheidstabel worden gecontroleerd. In mathematical logic, a formula is satisfiable if it is true under some assignment of values to its variables. For example, the formula is satisfiable because it is true when and , while the formula is not satisfiable over the integers. The dual concept to satisfiability is validity; a formula is valid if every assignment of values to its variables makes the formula true. For example, is valid over the integers, but is not. Formally, satisfiability is studied with respect to a fixed logic defining the syntax of allowed symbols, such as first-order logic, second-order logic or propositional logic. Rather than being syntactic, however, satisfiability is a semantic property because it relates to the meaning of the symbols, for example, the meaning of in a formula such as . Formally, we define an interpretation (or model) to be an assignment of values to the variables and an assignment of meaning to all other non-logical symbols, and a formula is said to be satisfiable if there is some interpretation which makes it true. While this allows non-standard interpretations of symbols such as , one can restrict their meaning by providing additional axioms. The satisfiability modulo theories problem considers satisfiability of a formula with respect to a formal theory, which is a (finite or infinite) set of axioms. Satisfiability and validity are defined for a single formula, but can be generalized to an arbitrary theory or set of formulas: a theory is satisfiable if at least one interpretation makes every formula in the theory true, and valid if every formula is true in every interpretation. For example, theories of arithmetic such as Peano arithmetic are satisfiable because they are true in the natural numbers. This concept is closely related to the consistency of a theory, and in fact is equivalent to consistency for first-order logic, a result known as Gödel's completeness theorem. The negation of satisfiability is unsatisfiability, and the negation of validity is invalidity. These four concepts are related to each other in a manner exactly analogous to Aristotle's square of opposition. The problem of determining whether a formula in propositional logic is satisfiable is decidable, and is known as the Boolean satisfiability problem, or SAT. In general, the problem of determining whether a sentence of first-order logic is satisfiable is not decidable. In universal algebra, equational theory, and automated theorem proving, the methods of term rewriting, congruence closure and unification are used to attempt to decide satisfiability. Whether a particular theory is decidable or not depends whether the theory is variable-free and on other conditions. V logice představuje splnitelnost (často zkracovaná jako SAT z anglického satisfiability) problém odpovědi na otázku, zdali existuje zadanému výrazu (formuli) zapsaného ve výrokové ... Booleovské logice například pomocí operací AND, OR a NOT přiřazení, při kterém bude výraz ohodnocen jako pravdivý. Zároveň je důležité určit,[zdroj?!] jestli pro zadaný výraz žádné takové přiřazení neexistuje, taková skutečnost implikuje, že zadaná funkce vyjádřená pomocí stanovených[zdroj?!] formulí je kontradikce (tedy že při jakémkoli vstupu je na výstupu hodnota FALSE) - při takové situaci říkáme, že je funkce nesplnitelná (anglicky unsatisfiable), jinak je funkce splnitelná (satisfiable). Například výraz a AND b je splnitelný, protože existují hodnoty a = TRUE and b = TRUE, při kterých výraz (a AND b) = TRUE. Pro zdůraznění binární[zdroj?!] povahy této úlohy se zdůrazňuje pojem Booleovská resp. výroková splnitelnost. SAT představuje první[zdroj?!] známý NP-úplný problém. To ve zkratce znamená, že není znám žádný efektivní algoritmus řešící všechny instance SAT problému v polynomiálním čase. Obecně se předpokládá, že takový algoritmus neexistuje (není to však dokázáno, viz Problém P versus NP). Dále může být široká škála přirozeně se vyskytujících problémů při rozhodování a optimalizacích transformována jako SAT problém. Třída algoritmů[zdroj?!] nazývaná může efektivně vyřešit dostatečně velké podmnožiny instancí SAT a být tak užitečná při řadě praktických aplikací, jako například při návrhu elektrických obvodů[zdroj?!] nebo při automatizovaném dokazování teorií, kdy je možné dokazovanou teorii transformovat[zdroj?!] jako instanci SAT. Rozšiřování potenciálu SAT solverů představuje v současnosti značně pokrokovou oblast, avšak prozatím neexistuje žádná metoda pro efektivní řešení všech instancí SAT.[zdroj?!] En lógica proposicional, la satisfacibilidad se define como la propiedad de un conjunto de fórmulas de tener un modelo. Decimos que una fórmula es satisfacible cuando después de analizarla bajo una interpretación dada afirmamos que tiene valor 1; o lo que es lo mismo, es verdadera. * Datos: Q1350299 Erfüllbarkeit ist in der Logik und Mathematik ein metasprachliches Prädikat für die Eigenschaft von logischen Aussagen und Aussageformen. Eine Aussage ist erfüllbar, wenn es eine Belegung (Interpretation, Bewertung) der Variablen gibt, für die der Wahrheitswert des gesamten Ausdrucks wahr ist. En logique mathématique, la satisfaisabilité ou satisfiabilité et la validité sont des concepts élémentaires de sémantique. Une formule est satisfaisable s'il est possible de trouver une interprétation (modèle), une façon d'interpréter tous les éléments constitutifs de la formule, qui rend la formule vraie. Une formule est universellement valide, ou en raccourci valide si, pour toutes les interprétations, la formule est vraie. Les concepts opposés sont la non satisfaisabilité ou insatisfaisabilité et la non-validité : une formule est insatisfaisable si aucune de ses interprétations ne rend la formule vraie et non valide s'il existe une interprétation qui rend la formule fausse. Les quatre concepts peuvent être appliqués aux théories. Ainsi une théorie est satisfaisable s'il existe une interprétation qui rend chacun des axiomes de la théorie vrai, non satisfaisable si toute interprétation rend l'un des axiomes faux.
gold:hypernym
dbr:Concepts
prov:wasDerivedFrom
wikipedia-en:Satisfiability?oldid=1123975948&ns=0
dbo:wikiPageLength
12282
foaf:isPrimaryTopicOf
wikipedia-en:Satisfiability