3 ms·
You don’t assume the assertions, the verification shows they always hold!
by Jaxan 1y ago
You don’t assume the assertions, the verification shows they always hold!
- kragen 1y agoYou assume the premises. The verification shows that the conclusions hold (assuming the premises do). Both premises and conclusions are, in some sense, "assertions", though not the C assert sense.