p⇒0

p⇒p'

önermelerinin ispatı nasıl yapılır? anlatımlı!