Clause (logic)
http://dbpedia.org/resource/Clause_(logic)
En lògica matemàtica, una clàusula és una disjunció de . En càlcul proposicional, normalment s'escriuen de la forma: on cada , amb , és un literal. Anàlogament, s'anomena clàusula conjuntiva a una conjunció de literals:
rdf:langString
In logic, a clause is a propositional formula formed from a finite collection of literals (atoms or their negations) and logical connectives. A clause is true either whenever at least one of the literals that form it is true (a disjunctive clause, the most common use of the term), or when all of the literals that form it are true (a conjunctive clause, a less common use of the term). That is, it is a finite disjunction or conjunction of literals, depending on the context. Clauses are usually written as follows, where the symbols are literals:
rdf:langString
En lógica matemática, una cláusula es una expresión formada por una colección finita de literales (variables o sus negaciones) que es verdadera cuando es verdadero al menos uno de los literales que la forman. En lógica proposicional, normalmente las cláusulas son descritas como una disyunción de literales : Análogamente, se llama cláusula conjuntiva a una conjunción de literales:
rdf:langString
Na lógica e na programação declarativa, uma cláusula é uma disjunção ou conjunção de literais, e pode ser interpretada como uma declaração (condicional). Uma sentença expressa como uma conjunção de cláusulas disjuntivas é dita estar na forma normal conjuntiva.
rdf:langString
In de logica is een clausule (in het Engels: clause) een eindige disjunctie van literalen, dus met de vorm met voor , een literaal. Een clausule kan ook leeg zijn. Deze is onwaar aangezien een clausule alleen waar is als een of meer literalen waar zijn. De lege clausule wordt met verscheidene symbolen genoteerd, zoals of .
rdf:langString
Klauzula – zbiór formuł logicznych. Klauzulę nazywamy prawdziwą wtedy i tylko wtedy, gdy alternatywa jej formuł logicznych jest prawdziwa. Klauzula pusta jest zawsze fałszywa.
rdf:langString
Klausuler är i satslogiken ett sätt att i steg och med endast behovet av operatorerna "¬ (icke)" och " (eller)" kunna bilda nya premisser från givna satser. Exempel 1:Den materiella implikationen (p → q) kan skrivas som klausulen ¬p q, alltså icke p eller q. Man utnyttjar bland annat att konjunktioner av satser är identiskt med att hävda då båda satserna. Exempel 2:S:(¬p ∨ q) ∧ (¬q ∨ p) p1: ¬p ∨ q p2: ¬q ∨ pOvanstående är ekvivalensens klausuler, alltså negationen av den exklusiva disjunktionen.
rdf:langString
Диз'юнкти́вний одночле́н (максте́рм) від змінних — диз'юнкція цих змінних або їх заперечень. Макстерм дорівнює 0 тільки при єдиному наборі аргументів. Якщо макстерм містить одночасно змінну і її заперечення, то він завжди дорівнює 1.
rdf:langString
在逻辑中，子句是文字的析取，在命题逻辑中，子句通常写做如下，这里的符号 是文字: 在某些情况下，子句被写为文字的集合，所以上述子句将被写为 。从上下文中得到提示把这个集合解释为它的元素的析取。子句可以为空；在这种情况下，它是文字的空集。空字句被指示为各种符号比如 、 或 。空字句的真值求值总是 。 在一阶逻辑中，子句是对文字的无量词析取的所有自由变量的全称量化。形式上说，一阶文字是 种类的公式，这里的 是 元谓词而每个 都是可能包含变量的一个任意的项。如果 是文字，而 是它们的(自由)变量，则 是子句。一阶子句有时省略量词书写，所以上述子句将被写为 。这种省略由文字的析取作为一个子句必须使所有变量被全称量化的事实来证实。在子句是有效的或被查实有效性的情况下，这个全称量化也暗含了这个语义。但是，满足性定义假定了自由变量要被存在量化，所以这种量词省略被接受为约定而不是如何处理自由变量的语义的结论。 在逻辑编程中，子句通常被写为从体部到头部的蕴涵。在最简单的情况下，体部是文字的合取而头部是一个单一的文字。更一般的，头部必须是文字的析取。如果 是在子句体中的文字而 是子句头中的文字，则子句通常写为:
rdf:langString
Ein Disjunktionsterm (auch als Disjunktionsglied oder Klausel bezeichnet) ist eine Boolesche Funktion, die ausschließlich durch die disjunktive Verknüpfung von Literalen gebildet wird. Ihre allgemeine Form sieht so aus: , wobei . Ein Disjunktionsterm, der sämtliche Indizes der betrachteten Booleschen Funktion enthält, wird auch als Maxterm bezeichnet. Fügt man mehrere Disjunktionsterme durch Konjunktionen zusammen, so erhält man eine konjunktive Normalform. Die entsprechende konjunktive Verknüpfung von Literalen bezeichnet man als Konjunktionsterm.
rdf:langString
Une clause en logique booléenne est une conjonction ou une disjonction de littéraux. On parle respectivement de clause conjonctive et de clause disjonctive. Sans précision c'est le plus souvent la clause disjonctive qui est sous-entendue. En calcul propositionnel, une clause conjonctive est de la forme : tandis qu'une clause disjonctive est de la forme : où les li sont des littéraux, c'est-à-dire des atomes ou des négations d'atomes.
rdf:langString
In logica, una clausola è una disgiunzione logica fra letterali. In genere una clausola è scritta come segue: dove i simboli sono letterali. In alcuni casi, le clausole sono scritte (o definite) secondo la notazione insiemistica, ossia nel modo seguente: Il fatto che l'insieme debba essere interpretato come disgiunzione dei suoi elementi si deduce dal contesto o è adeguatamente esplicitato. Una clausola può essere vuota; in tal caso è un insieme vuoto di letterali. La clausola vuota è denotata mediante vari simboli, come , , o . La valutazione booleana di una clausola vuota è sempre "falso".
rdf:langString
Дизъюнкти́вный одночле́н (элементарная дизъюнкция, дизъюнкт, максте́рм, клауза от англ. clause) — дизъюнкция литералов (переменных и их отрицаний): , где каждый — литерал, то есть или . Может принимать ложное значение только при единственном из всех возможных наборов значений переменных, входящих в него. Если содержит одновременно переменную и её отрицание, то всегда даёт истинное значение. Примеры:
*
*
* Всякая булева формула может быть представлена как конъюнкция дизъюнктивных одночленов (конъюнктивная нормальная форма).
rdf:langString
rdf:langString
Clàusula (lògica)
rdf:langString
Disjunktionsterm
rdf:langString
Clause (logic)
rdf:langString
Cláusula (lógica)
rdf:langString
Clause (logique)
rdf:langString
Clausola (logica)
rdf:langString
Clausule (logica)
rdf:langString
Klauzula (matematyka)
rdf:langString
Cláusula (lógica)
rdf:langString
Klausul (logik)
rdf:langString
Дизъюнктивный одночлен
rdf:langString
Макстерм
rdf:langString
子句 (逻辑)
xsd:integer
4638484
xsd:integer
1073180457
rdf:langString
En lògica matemàtica, una clàusula és una disjunció de . En càlcul proposicional, normalment s'escriuen de la forma: on cada , amb , és un literal. Anàlogament, s'anomena clàusula conjuntiva a una conjunció de literals:
rdf:langString
Ein Disjunktionsterm (auch als Disjunktionsglied oder Klausel bezeichnet) ist eine Boolesche Funktion, die ausschließlich durch die disjunktive Verknüpfung von Literalen gebildet wird. Ihre allgemeine Form sieht so aus: , wobei . Ein Disjunktionsterm, der sämtliche Indizes der betrachteten Booleschen Funktion enthält, wird auch als Maxterm bezeichnet. Fügt man mehrere Disjunktionsterme durch Konjunktionen zusammen, so erhält man eine konjunktive Normalform. Die entsprechende konjunktive Verknüpfung von Literalen bezeichnet man als Konjunktionsterm. Einige Beispiele für Disjunktionsterme, wobei jeweils Atome seien:
rdf:langString
In logic, a clause is a propositional formula formed from a finite collection of literals (atoms or their negations) and logical connectives. A clause is true either whenever at least one of the literals that form it is true (a disjunctive clause, the most common use of the term), or when all of the literals that form it are true (a conjunctive clause, a less common use of the term). That is, it is a finite disjunction or conjunction of literals, depending on the context. Clauses are usually written as follows, where the symbols are literals:
rdf:langString
En lógica matemática, una cláusula es una expresión formada por una colección finita de literales (variables o sus negaciones) que es verdadera cuando es verdadero al menos uno de los literales que la forman. En lógica proposicional, normalmente las cláusulas son descritas como una disyunción de literales : Análogamente, se llama cláusula conjuntiva a una conjunción de literales:
rdf:langString
Une clause en logique booléenne est une conjonction ou une disjonction de littéraux. On parle respectivement de clause conjonctive et de clause disjonctive. Sans précision c'est le plus souvent la clause disjonctive qui est sous-entendue. En calcul propositionnel, une clause conjonctive est de la forme : tandis qu'une clause disjonctive est de la forme : où les li sont des littéraux, c'est-à-dire des atomes ou des négations d'atomes. La clause disjonctive vide, c'est-à-dire la disjonction de 0 littéraux, s'évalue toujours à faux. En déduction naturelle, on démontre que la clause vide n'est pas dérivable, ce qui vaut ainsi preuve de la cohérence de ce système d'axiomes.
rdf:langString
In logica, una clausola è una disgiunzione logica fra letterali. In genere una clausola è scritta come segue: dove i simboli sono letterali. In alcuni casi, le clausole sono scritte (o definite) secondo la notazione insiemistica, ossia nel modo seguente: Il fatto che l'insieme debba essere interpretato come disgiunzione dei suoi elementi si deduce dal contesto o è adeguatamente esplicitato. Una clausola può essere vuota; in tal caso è un insieme vuoto di letterali. La clausola vuota è denotata mediante vari simboli, come , , o . La valutazione booleana di una clausola vuota è sempre "falso". Un particolare tipo di clausola è la clausola di Horn, in cui al più un letterale è positivo. Una clausola contenente esattamente un letterale positivo si dice clausola definita.
rdf:langString
Na lógica e na programação declarativa, uma cláusula é uma disjunção ou conjunção de literais, e pode ser interpretada como uma declaração (condicional). Uma sentença expressa como uma conjunção de cláusulas disjuntivas é dita estar na forma normal conjuntiva.
rdf:langString
In de logica is een clausule (in het Engels: clause) een eindige disjunctie van literalen, dus met de vorm met voor , een literaal. Een clausule kan ook leeg zijn. Deze is onwaar aangezien een clausule alleen waar is als een of meer literalen waar zijn. De lege clausule wordt met verscheidene symbolen genoteerd, zoals of .
rdf:langString
Klauzula – zbiór formuł logicznych. Klauzulę nazywamy prawdziwą wtedy i tylko wtedy, gdy alternatywa jej formuł logicznych jest prawdziwa. Klauzula pusta jest zawsze fałszywa.
rdf:langString
Klausuler är i satslogiken ett sätt att i steg och med endast behovet av operatorerna "¬ (icke)" och " (eller)" kunna bilda nya premisser från givna satser. Exempel 1:Den materiella implikationen (p → q) kan skrivas som klausulen ¬p q, alltså icke p eller q. Man utnyttjar bland annat att konjunktioner av satser är identiskt med att hävda då båda satserna. Exempel 2:S:(¬p ∨ q) ∧ (¬q ∨ p) p1: ¬p ∨ q p2: ¬q ∨ pOvanstående är ekvivalensens klausuler, alltså negationen av den exklusiva disjunktionen.
rdf:langString
Диз'юнкти́вний одночле́н (максте́рм) від змінних — диз'юнкція цих змінних або їх заперечень. Макстерм дорівнює 0 тільки при єдиному наборі аргументів. Якщо макстерм містить одночасно змінну і її заперечення, то він завжди дорівнює 1.
rdf:langString
在逻辑中，子句是文字的析取，在命题逻辑中，子句通常写做如下，这里的符号 是文字: 在某些情况下，子句被写为文字的集合，所以上述子句将被写为 。从上下文中得到提示把这个集合解释为它的元素的析取。子句可以为空；在这种情况下，它是文字的空集。空字句被指示为各种符号比如 、 或 。空字句的真值求值总是 。 在一阶逻辑中，子句是对文字的无量词析取的所有自由变量的全称量化。形式上说，一阶文字是 种类的公式，这里的 是 元谓词而每个 都是可能包含变量的一个任意的项。如果 是文字，而 是它们的(自由)变量，则 是子句。一阶子句有时省略量词书写，所以上述子句将被写为 。这种省略由文字的析取作为一个子句必须使所有变量被全称量化的事实来证实。在子句是有效的或被查实有效性的情况下，这个全称量化也暗含了这个语义。但是，满足性定义假定了自由变量要被存在量化，所以这种量词省略被接受为约定而不是如何处理自由变量的语义的结论。 在逻辑编程中，子句通常被写为从体部到头部的蕴涵。在最简单的情况下，体部是文字的合取而头部是一个单一的文字。更一般的，头部必须是文字的析取。如果 是在子句体中的文字而 是子句头中的文字，则子句通常写为:
rdf:langString
Дизъюнкти́вный одночле́н (элементарная дизъюнкция, дизъюнкт, максте́рм, клауза от англ. clause) — дизъюнкция литералов (переменных и их отрицаний): , где каждый — литерал, то есть или . Может принимать ложное значение только при единственном из всех возможных наборов значений переменных, входящих в него. Если содержит одновременно переменную и её отрицание, то всегда даёт истинное значение. Примеры:
*
*
* Всякая булева формула может быть представлена как конъюнкция дизъюнктивных одночленов (конъюнктивная нормальная форма). Важный класс дизъюниктивных одночленов — хорновские дизъюнкты, состоящие из не более, чем одного положительного литерала.
xsd:nonNegativeInteger
3109