جایگاه قضیه در استدلال. اقسام قضای حملی و شرطی