(Zumindest in den Fällen, wo sie sich Probleme ausdenken. Wenn sie Scheinlösungen zu realen Problemen anbieten, liegen sie natürlich falsch.)
(Zumindest in den Fällen, wo sie sich Probleme ausdenken. Wenn sie Scheinlösungen zu realen Problemen anbieten, liegen sie natürlich falsch.)
Gültig war in meiner Logik Vorlesung für X Jahren definiert als “wahr für alle Belegungen”. In dem Sinne ist die Formel
Aauch “ungültig”.Die Eigenschaft die auf A => ^A zutrifft ist unerfüllbar.
Vielleicht waren verschiedene Definition der Auslöser für dieses ganze hin und her
Sehr gut möglich. Ich hab im Rahmen dieser Diskussion hier mehrere Vorlesungsskripte verschiedener FBs und Unis gelesen und das war alles ganz schön unstetig, was man dort so liest.