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