The truth function as given by Gentzen says if (A∧B∧...) then (D∨E∨...). Often this is just written as: if (A,B,...) then (D,E,...). or formally as (A∧B∧...)⊢(D∨E∨...).
This is read as A and B and ... proves D or E or ....
TruthFunction (last edited 2020-01-26 20:56:47 by 68)
