Oh Schreck, nicht nur formal, sondern auch noch logisch?!
2ndB166ER schrieb:
Hi, ich suche einen übersetzer der mir folgende "Logischen schwachsinn" übersetzten kann:
"~(p.p~p)" . = ?
Dass die Sätze »pÉq«, »p« und »q« in der Form »(pÉq).(p) :É: (q)« miteinander verbunden eine Tautologie ergeben,
zeigt, dass q aus p und pÉq folgt. Dass »(x).fx:Éfa« eine Tautologie ist, dass fa aus (x).fx folgt. Etc. etc.
É = ?
: = ?
wäre schon wenn jemand diese ausagen in worte formulieren kann
Mit einer Übersetzung dieser Anfrage auf ein
halbwegs korrektes Deutsch kann ich dienen.
Sie müsste lauten:
Hallo, ich suche einen Übersetzer, der mir folgenden "logischen Schwachsinn" übersetzen kann:
[...]
Es wäre schön, wenn jemand diese Aussagen mit Worten formulieren könnte.
Die formale Logik erfordert in erster Linie Gründlichkeit und Exaktheit.
Ein Extremschluderant, der schon in einem so kurzen Text dermaßen viele Flüchtigkeitsfehler macht,
der sollte seine Finger lieber von der formalen Logik lassen.
Eine Erklärung der Bedeutung von Symbolen sucht man übrigens vernünftigerweise an jener Stelle, wo diese
Symbole verwendet werden. Ihre Bedeutung ist ja nicht allgemeingültig, sondern eine Festlegungssache
für einen bestimmten Verwendungszusammenhang.
Die Aussage ...
"p" impliziert "q"; nun ist "p" gegeben, daraus folgt, dass auch "q" gegeben ist.
... ist keineswegs eine Tautologie, sondern eine Schlussfolgerung der Gegebenheit.
Aber so einem extrem schludrigen Sekundenbinäreinhundertsechsundsechziger
wird man das wohl nicht beibringen können.
Das musste auch einmal in aller Klarheit gesagt werden.
