T ableaux o Signed sentence Entries of a tableaux How to deal with quantifiers?Tableaux Signed sentence Entries of a tableaux How to deal with quantifiers? Yi Li (Fudan University) Discrete Mathematics May 28, 2013 4 / 24