← Back to context Comment by Jaxan 12 hours ago You don’t assume the assertions, the verification shows they always hold! 1 comment Jaxan Reply kragen 2 hours ago You 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.
kragen 2 hours ago You 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.
You 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.