15 lines
315 B
Plaintext
15 lines
315 B
Plaintext
= Proofs =
|
|
|
|
Proofs are the process of using logic to prove without a shadow of a doubt that
|
|
something is true/false
|
|
|
|
== Types ==
|
|
|
|
=== Contradiction ===
|
|
|
|
* Say something is true
|
|
* Look for some contradiction to prove otherwise
|
|
* (Therefore), must be false
|
|
|
|
This works for saying something is initially true or false
|