Beweis einer Formel
Hallo zusammen,
ich hab eine Frage zur Vorlesung von gestern:
Ich habe nicht verstanden, weshalb man, wenn man eine Formel beweisen will, beweist, dass die Negation davon eine Kontradiktion ist. Also ich hab schon verstanden, dass das geht. Aber ich versteh nicht wieso man das so macht. Es wäre doch einfacher die Formel direkt zu beweisen.
Danke für […]