Pdf Logic With Trees: An Introduction To Symbolic Logic