Talk:Factor Principles/Disjunction on Left/Formulation 1/Proof 2

Clearly, I'm not properly understanding "pooled assumptions". Would anyone care to explain? --Dfeuer (talk) 08:06, 1 March 2013 (UTC)


 * In a marked tree approach, the pooled assumptions are the unmarked leaves that are children of the given formula. In a Gentzen/Hilbert style sequent approach, the pooled assumptions appear on the left of the turnstile $\vdash$. &mdash; Lord_Farin (talk) 08:43, 1 March 2013 (UTC)


 * Sadly, that flew right over my head. --Dfeuer (talk) 09:01, 1 March 2013 (UTC)


 * Recommended advice is to limit your contributions to this site to areas of mathematics that you understand. --prime mover (talk) 09:04, 1 March 2013 (UTC)


 * In which case I suggest you pick up some source(s) on logic/proof theory. The concept is quite important and working for a bit in the field should make it clear what I mean. I first learned about formal proofs (of which tableaux are a flavour) by this syllabus. &mdash; Lord_Farin (talk) 09:06, 1 March 2013 (UTC)


 * ...and I support PMs point of view here. &mdash; Lord_Farin (talk) 09:08, 1 March 2013 (UTC)