Does anyone know how Semantic Tableaux works?.. Here is an example: || (a=>b) ^ c c||(a=>b) (a=>b) || c c,a|| || c, a, b b,c||a...
Separate names with a comma.