Syntaktischer Beweis (logik) hilfe!?

...komplette Frage anzeigen

1 Antwort

Hallo!

Anbei ein Lösungsvorschlag.

Die Bezeichnungen (Abkürzungen) stimmen eventuell nicht mit denen deiner Vorlesung überein. Ich habe die Bezeichnungen des Buches "Formale Logik" von Ludwik Borkowski, übernommen.

Grüsse

Logik - Beweis - (Mathematik, Logik, Syntaktischer Beweis)

Hallo,

bei (b) ist ein Schreibfehler, habe ein "~" vergessen!

 p -> ~q durch  ~p -> ~q  ersetzen!

0

Was möchtest Du wissen?