Slide 1 Slide 2 Introduction to Proofs A proof is a valid argument that establishes the truth of a statement. Previous section discussed formal proofs Informal proofs are…
DeMorganâs Rule DM ~(p v q) :: (~p . ~q) âneitherâ¦norâ¦â is the same as ânot the one and not the otherâ ~( p . q) :: (~p v ~q) ânot bothâ¦â is the same as âeither…