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)
