Differences between revisions 3 and 5 (spanning 2 versions)
⇤ ← 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: Line 1:
The truth function as given by Gentzen says if then . Often this is just written as: if then . or formally as .
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 and and ... '''proves''' or or ....

The truth function as given by Gentzen says if then . Often this is just written as: if then . or formally as .

This is read as and and ... proves or or ....

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