The branch of formal Logic dealing with representing the logical connections between statements as well as the statements themselves.
