Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.
Aufgabenblatt 5 DAme-Tiger in Coq
Hi , ich habe da eine kleine Frage. Man soll ja alle gültigen Aussagen beweisen … aber dann soll man auch wiederum nur zwei beweisen … (also die , dass aus der Aussage des Königs einerseits folgt, dass eine Dame in Raum 1 ist und andererseits , dass eine Dame in Raum 2 ist). Ich verstehe nicht ganz , was mit alle gültigen Aussagen gemeint ist … Soll ich also alle möglichen Implikationenen (also mit der Aussage des Königs auf der linken Seite der Implikation ) zeigen ?