Symbolic logic;an introduction