Обучается переводу с помощью примеров, переведенных людьми.
Добавлены профессиональными переводчиками и компаниями и на основе веб-страниц и открытых баз переводов.
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.
Последнее обновление: 2016-03-03
Частота использования: 2
Качество:
Предупреждение: Содержит скрытое HTML-форматирование
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.
Последнее обновление: 2016-03-03
Частота использования: 2
Качество:
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.
Последнее обновление: 2016-03-03
Частота использования: 2
Качество:
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.
Последнее обновление: 2018-02-13
Частота использования: 1
Качество: