From professional translators, enterprises, web pages and freely available translation repositories.
im zweiten fall ist der satz für sämtliche wahrheitsmöglichkeiten falsch: die wahrheitsbedingungen sind kontradiktorisch.
in the second case the proposition is false for all the truth-possibilities. the truth-conditions are self-contradictory.
die proben werden vom verarbeiter und vom erzeuger kontradiktorisch begutachtet, und die prüfergebnisse werden schriftlich festgehalten.
the samples shall be examined by both the processor and the producer and the results of the verification shall be recorded.
so muss "eine" der "zwei" kontradiktorisch entgegengesetzten aussagen s=p und s≠p wahr sein.
philo's criterion of truth is what would now be called a truth-functional definition of "if ... then".