Pergunte ao Google

Você procurou por: aussagenlogischen (Alemão - Inglês)

Contribuições humanas

A partir de tradutores profissionais, empresas, páginas da web e repositórios de traduções disponíveis gratuitamente

Adicionar uma tradução

Alemão

Inglês

Informações

Alemão

Das einfachste Beispiel wäre ein Kalkül, in dem "jede" Formel der aussagenlogischen Sprache herleitbar ist.

Inglês

Informally this is true if in all worlds that are possible given the set of formulas the formula also holds.

Última atualização: 2016-03-03
Frequência de uso: 2
Qualidade:

Aviso: contém formatação HTML invisível

Alemão

Das Paradoxon hat damit die Form formula_21 des Lügner-Paradoxons in einer aussagenlogischen Formulierung per Negation.

Inglês

However this is not possible as the scope of formula_20 is inside the scope of formula_21.

Última atualização: 2016-03-03
Frequência de uso: 2
Qualidade:

Alemão

Diese frühen Arbeiten stellten eine Erweiterung der modalen aussagenlogischen Systeme von Clarence Irving Lewis dar und markieren einen Meilenstein in der Entwicklung der formalen Logik im 20.

Inglês

The papers of 1946 and 1947, were the first systems of quantified modal logic, which extended some propositional modal systems of Clarence Irving Lewis to first and second order; a major accomplishment in the development of 20th century logic.

Última atualização: 2016-03-03
Frequência de uso: 2
Qualidade:

Alemão

2011-07-30 Ein neues Release 0.04.04 ist fertig. Wir haben nun einen Parser, der aussagenlogische Beweise, die im ASCII format vorliegen, einlesen und in ein QEDEQ-XML-NODE-Element umwandeln kann.

Inglês

2011-07-30 A new release 0.04.04 is ready. We have now a parser that can read a propositional calculus proof written in ASCII text format and transform it into a QEDEQ XML NODE element.

Última atualização: 2018-02-13
Frequência de uso: 1
Qualidade:

Alemão

Es fragt, ob eine aussagenlogische Formel erfüllbar ist.

Inglês

If this is the case, the formula is called "satisfiable".

Última atualização: 2016-03-03
Frequência de uso: 2
Qualidade:

Aviso: contém formatação HTML invisível

Alemão

Die Alphagraphen sind ein rein aussagenlogisches System.

Inglês

Any well-formed part of a graph is a subgraph.

Última atualização: 2016-03-03
Frequência de uso: 2
Qualidade:

Alemão

== Das Resolutionsverfahren in der Aussagenlogik ===== Resolvente (auch: Resolvent) ===Seien formula_1, formula_2 Klauseln einer aussagenlogischen Formel, die in konjunktiver Normalform vorliegt.

Inglês

Two literals are said to be complements if one is the negation of the other (in the following,formula_1 is taken to be the complement to formula_2).

Última atualização: 2016-03-03
Frequência de uso: 2
Qualidade:

Alemão

"Klassisch gültige" Formeln sind solche, die unter jeden möglichen Belegung der aussagenlogischen Variablen in der zweiwertigen Booleschen Algebra den Wert 1 ("wahr") ergeben, d.h. die üblichen aussagenlogischen Tautologien.

Inglês

The usual two-valued logic system is a special case of a Heyting algebra, and the smallest non-trivial one, in which the only elements of the algebra are 1 (true) and 0 (false).

Última atualização: 2016-03-03
Frequência de uso: 2
Qualidade:

Aviso: contém formatação HTML invisível

Alemão

(Diese Formel heißt "Bikonditional" von F und G.)* Nichts anderes ist eine aussagenlogische Formel.

Inglês

This implies that, for instance, is a proposition, and so it can be conjoined with another proposition.

Última atualização: 2016-03-03
Frequência de uso: 2
Qualidade:

Aviso: contém formatação HTML invisível

Alemão

== Notwendige Bedingung ==Aussagenlogisch betrachtet ist eine notwendige Bedingung formula_1 für eine Aussage formula_2 eine Aussage, die zwingend wahr (erfüllt) sein muss, wenn formula_2 wahr ist.

Inglês

The assertion that one statement is a "necessary and sufficient" condition of another means that the former statement is true if and only if the latter is true.

Última atualização: 2016-03-03
Frequência de uso: 2
Qualidade:

Aviso: contém formatação HTML invisível

Alemão

Der Beth-Kalkül für die klassische Aussagenlogik, so wie er hier aufgestellt wurde, ist korrekt und vollständig, und er ist ein Entscheidungsverfahren für die klassisch-aussagenlogische Gültigkeit von Argumenten.

Inglês

This is the same as checking whether formula_2 is true in a world of a model, in the assumption that formula_9 is also true in the same world of the same model.

Última atualização: 2016-03-03
Frequência de uso: 2
Qualidade:

Alemão

== Preise und Auszeichnungen ==* Anna-Seghers-Preis, 1988* Hörspielpreis der Kriegsblinden, 1990* Ernst-Reuter-Preis, 1990* Bremer Literaturförderpreis, 1996* Calwer Hermann-Hesse-Stipendium, 1999== Werke ===== Bücher ===* "Erkenntnistheoretisch-methodologische Untersuchungen zur heuristischen Ausdrucksfähigkeit aussagenlogischer Beweisbegriffe", Dissertation, Berlin 1983* "Waldwärts", Berlin 1985* "Der große Coup", Berlin 1987* "Kopfsprung", Berlin 1989* "Indwendig", Winsen/Luhe 1990* "Der Schneemensch", Köln 1993* "Parzival Pechvogel", Zürich (u.a.

Inglês

== Awards ==* 1988 Anna-Seghers-Preis* 1990 Hörspielpreis der Kriegsblinden* 1996 Förderpreis of the Literaturpreis der Stadt Bremen== Works ===== Non fiction ===* "Erkenntnistheoretisch-methodologische Untersuchungen zur heuristischen Ausdrucksfähigkeit aussagenlogischer Beweisbegriffe", Berlin 1983=== Prose ===* "Waldwärts", Berlin 1985* "Der große Coup", Berlin 1987* "Kopfsprung", Berlin 1989* "Indwendig", Winsen/Luhe 1990* "Der Schneemensch", Köln 1993* "Parzival Pechvogel", Zürich (etc.

Última atualização: 2016-03-03
Frequência de uso: 2
Qualidade:

Aviso: contém formatação HTML invisível

Alemão

Es untersucht, ob eine mit Quantoren versehene aussagenlogische Formel erfüllbar oder "wahr" ist.

Inglês

Such a formula is equivalent to either true or false (since there are no free variables).

Última atualização: 2016-03-03
Frequência de uso: 2
Qualidade:

Aviso: contém formatação HTML invisível

Consiga uma tradução melhor através
4,401,923,520 de colaborações humanas

Usuários estão solicitando auxílio neste momento:



Utilizamos cookies para aprimorar sua experiência. Se avançar no acesso a este site, você estará concordando com o uso dos nossos cookies. Saiba mais. OK