Imparare a tradurre dagli esempi di traduzione forniti da contributi umani.
Da traduttori professionisti, imprese, pagine web e archivi di traduzione disponibili gratuitamente al pubblico.
as with the tableaux method, a formula is proved by showing that the negation of the formula is unsatisfiable.
Όπως και με τη μέθοδο tableaux, ένας τύπος αποδεικνύεται δείχνοντας ότι η άρνηση του τύπου είναι μη ικανοποιήσιμη.
to show that a formula a is provable, the tableaux method attempts to demonstrate that the negation of a is unsatisfiable.
Για να δείξει ότι ένας τύπος Α είναι ευαπόδεικτος , η μέθοδος tableaux επιχειρεί να αποδείξει ότι η άρνηση του Α δεν ικανοποιείται.