notes

Personal notes
git clone git://git.laack.co/notes.git
Log | Files | Refs

VacuousProof.md (177B)

      1 # Vacuous Proof
      2 
      3 U 1.7
      4 
      5 **Definition:** A vacuous proof is for proofs of the form if p then q where we then show that p is always false thus there is no need to evaluate for q.