Als «proof-golf» getaggte Fragen

11
(-a) × (-a) = a × a
Wir alle wissen, dass (hoffentlich), aber können Sie es beweisen?( - a ) × ( - a ) = a × a(−a)×(−a)=a×a(-a) \times (-a) = a \times a Ihre Aufgabe ist es, diese Tatsache mit den Ringaxiomen zu beweisen. Was sind die Ringaxiome? Die Ringaxiome sind eine Liste von Regeln, …

3
(A → B) → (¬B → ¬A)
Nun, ich denke, es ist an der Zeit, eine weitere Frage zum Golfspielen zu stellen. Dieses Mal werden wir die bekannte logische Wahrheit beweisen (A→B)→(¬B→¬A)(A→B)→(¬B→¬A)(A \rightarrow B) \rightarrow (\neg B \rightarrow \neg A) Dazu verwenden wir Lukasiewicz 'drittes Axiom-Schema , eine unglaublich elegante Menge von drei Axiomen, die die Aussagenlogik …
38 logic  proof-golf 

2
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 .⊤⊤\topwahrwahr\textit{true} Wenn …
22 math  logic  proof-golf 

16
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 nProgramme generiert werden, die alle in derselben Sprache wie Ihre …
21 code-golf  recursion  code-golf  kolmogorov-complexity  board-game  code-golf  number-theory  polynomials  code-golf  code-golf  array-manipulation  polyglot  alphabet  answer-chaining  code-golf  sequence  math  atomic-code-golf  abstract-algebra  proof-golf  code-golf  internet  code-golf  internet  code-golf  ascii-art  kolmogorov-complexity  code-golf  math  ascii-art  number  integer  code-golf  decision-problem  binary-matrix  code-golf  number  sequence  number-theory  code-golf  math  decision-problem  matrix  abstract-algebra  code-golf  string  keyboard  code-golf  fractal  code-golf  math  sequence  combinatorics  hello-world  vim  code-golf  sequence  code-golf  graphical-output  image-processing  code-golf  decision-problem  matrix  linear-algebra  code-golf  ascii-art  code-golf  math  code-golf  ascii-art  graphical-output  code-golf  string  code-golf  string  substitution  code-golf  string  ascii-art  code-golf  arithmetic  code-golf  number  array-manipulation  decision-problem  code-golf  kolmogorov-complexity  code-generation  fractal  code-golf  ascii-art  kolmogorov-complexity  code-golf  ascii-art  code-golf  string  array-manipulation  code-golf  music  code-golf  array-manipulation  code-golf  internet  stack-exchange-api  math  fastest-algorithm  code-golf  binary  bitwise  code-golf  date  code-golf  string  code-golf  sequence  integer  code-golf  arithmetic  number-theory  code-golf  string  random 

3
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 …

Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.