The truth function as given by Gentzen says if $$(A\wedge B\wedge ...)$$ then $$(D\vee E\vee ...)$$. Often this is just written as: if $$(A,B,...)$$ then $$(D,E,...)$$. or formally as $$(A\wedge B\wedge ...)\vdash (D\vee E\vee ...)$$.

This is read as $$A$$ and $$B$$ and ... proves $$D$$ or $$E$$ or ....

TruthFunction (last edited 2020-01-26 20:56:47 by scot)