Symbolic Logic: Introductory Topics