Terminologies o signed proposition o entries of the tableau o atomic tableauTerminologies signed proposition entries of the tableau atomic tableau Yi Li (Fudan University) Discrete Mathematics April 10, 2012 4 / 1