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$. — 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. — Lord_Farin (talk) 09:06, 1 March 2013 (UTC)

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