Als «proof-golf» getaggte Fragen

22
Existential Golf

Mathe hat viele Symbole. Einige sagen vielleicht zu viele Symbole. Lassen Sie uns also ein bisschen mit Bildern rechnen. Lassen Sie uns ein Papier haben, auf das wir zurückgreifen werden. Um zu beginnen, dass das Papier leer ist, werden wir sagen, dass dies gleichbedeutend mit oder wahr ist...

21
Beweisen Sie DeMorgans Gesetze

Die zehn Schlussfolgerungen des Natural Deduction Systems beweisen die Gesetze von DeMorgan . Die Regeln des natürlichen Abzugs Verneinung Einführung: {(P → Q), (P → ¬Q)} ⊢ ¬P Verneinung-Beseitigung: {(¬P → Q), (¬P → ¬Q)} ⊢ P Und Einführung: {P, Q} ⊢ P ʌ Q Und Beseitigung: P ʌ Q ⊢ {P, Q} Oder...

21
Noch ein Programm und ich bin raus!

Bei einer positiven Verschachtelungsebene für Ganzzahlen nund einer Zeichenfolge saus druckbaren ASCII-Zeichen ( to) ~wird ein Programm ausgegeben, das bei Ausführung in derselben Sprache ein Programm ausgibt, das ein Programm ausgibt ..., das die Zeichenfolge ausgibt s. Es sollten insgesamt...