Tentando aprender a traduzir a partir dos exemplos de tradução humana.
A partir de tradutores profissionais, empresas, páginas da web e repositórios de traduções disponíveis gratuitamente
das einfachste beispiel wäre ein kalkül, in dem "jede" formel der aussagenlogischen sprache herleitbar ist.
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
das paradoxon hat damit die form formula_21 des lügner-paradoxons in einer aussagenlogischen formulierung per negation.
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:
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.
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:
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.
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: