车讯:定位高于森雅R7 一汽吉林新SUV测试谍照
Tagged with proof-golf atomic-code-golf
2 questions
137
votes
11
answers
14k
views
(-a) × (-a) = a × a
We all know that \$(-a) \times (-a) = a \times a\$ (hopefully), but can you prove it?
Your task is to prove this fact using the ring axioms. What are the ring axioms? The ring axioms are a list of ...
- 102k
22
votes
3
answers
1k
views
Prove DeMorgan's laws
Using the the ten inferences of the Natural Deduction System prove DeMorgan's laws.
The Rules of Natural Deduction
Negation Introduction: {(P → Q), (P → ?Q)} ? ?P
...
- 102k