Diff for "TruthFunction"

Differences between revisions 3 and 5 (spanning 2 versions)

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 ....

-  ⇤ ← Revision 3 as of 2006-08-22 20:53:33 → 
  Size: 322
  Editor: dot
  Comment:
+   ← Revision 5 as of 2020-01-26 20:56:47 → ⇥
  Size: 315
  Editor: scot
  Comment:
-Deletions are marked like this.
+Additions are marked like this.
 Line 1:
+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 ...)$$.
-Line 2:
+Line 3:
-{{{#!latex2
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 ... \textbf{proves} $D$ or $E$ or ....
}}}
+This is read as $$A$$ and $$B$$ and ... '''proves''' $$D$$ or $$E$$ or ....