Mathematische Logik/Gemischte Satzabfrage/15/Aufgabe/Lösung

Aus Wikiversity
Zur Navigation springen Zur Suche springen
  1. Die diophantische Gleichung

    besitzt für kein

    eine ganzzahlige nichttriviale Lösung.
  2. Es sei ein Symbolalphabet und ein -Ausdruck. Dann ist genau dann eine ableitbare Tautologie, wenn allgemeingültig ist.
  3. /Fakt
Zur gelösten Aufgabe