Not logged in. · Lost password · Register

Fuxicus
Member since Apr 2017
47 posts
Subject: Frage zu Problem 10.1.2
+2 Jazzpirate, Fertu
Als ich bei den Assignments Problem 10.1.2 mit ND lösen wollte habe folgende Lösung bekommen:
[Image: https://img3.picload.org/image/dagldgli/selection_004.png]

Aus der Aufgabenstellung geht ja deutlich hervor, dass man dieses eine Lemma benötigt. Wie ihr seht ist diese in meiner Lsg nicht verwendet worden. Die Musterlösung scheint deutlich länger und komplizierter zu sein und nun bin ich mir nicht sicher ob meine Lösung korrekt ist :/.

Findet jemand den Fehler, den ich gemacht habe?

Edit: Wahnsinn! Ich speichere den Beitrag und sehe während ich den Beitrag geschrieben habe, frägt jemand fast das Gleiche https://fsi.cs.fau.de/forum/thread/15723-Natural-Deduction…
This post was edited on 2018-02-10, 10:05 by Fuxicus.
Jazzpirate
Member since Oct 2016
803 posts
ist drüben beantwortet ;)
Close Smaller – Larger + Reply to this post:
Verification code: VeriCode Please enter the word from the image into the text field below. (Type the letters only, lower case is okay.)
Smileys: :-) ;-) :-D :-p :blush: :cool: :rolleyes: :huh: :-/ <_< :-( :'( :#: :scared: 8-( :nuts: :-O
Special characters:
Go to forum
Datenschutz | Kontakt
Powered by the Unclassified NewsBoard software, 20150713-dev, © 2003-2011 by Yves Goergen