I know the definition of the acronym is "The Obvious and Necessary Condition Are Sufficient". I am not exactly clear as to what it means to prove a theorem's TONCAS. Does it simply mean prove the converse since the necessary condition must be also sufficient?
$\endgroup$ Reset to defaultI need a simple example of proving a TONCAS.
|
