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

Antwort bewerten Vielen Dank für Deine Bewertung
Kommentar von eddiefox
04.05.2016, 05:15

Hallo,

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

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

0

Was möchtest Du wissen?