İnsan çevirisi örneklerinden çeviri yapmayı öğrenmeye çalışıyor.
Profesyonel çevirmenler, işletmeler, web sayfaları ve erişimin serbest olduğu çeviri havuzlarından.
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.
Son Güncelleme: 2016-03-03
Kullanım Sıklığı: 2
Kalite:
Uyarı: Görünmez HTML biçimlendirmesi içeriyor
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.
Son Güncelleme: 2016-03-03
Kullanım Sıklığı: 2
Kalite:
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.
Son Güncelleme: 2016-03-03
Kullanım Sıklığı: 2
Kalite:
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.
Son Güncelleme: 2018-02-13
Kullanım Sıklığı: 1
Kalite: