| |||||||||||||
Kernel.org's road to recoveryKernel.org's road to recoveryPosted Oct 10, 2011 3:27 UTC (Mon) by jamesh (guest, #1159)In reply to: Kernel.org's road to recovery by mpr22 Parent article: Kernel.org's road to recovery
> People who don't grasp that "P implies Q" does not mean "not-Q implies not-P".
If P does imply Q, then not-Q really does imply not-P. Did you instead mean that it doesn't follow that "not-P implies not-Q"?
That would make more sense in this case since "commits marked with a CVE number fix security vulnerabilities" does not imply that "commits without a CVS number do not fix security vulnerabilities".
(Log in to post comments)
Kernel.org's road to recovery Posted Oct 10, 2011 4:44 UTC (Mon) by vonbrand (subscriber, #4458) [Link] Presumably he meant "P implies Q" is not the same as "not P implies not Q."
Kernel.org's road to recovery Posted Oct 10, 2011 9:24 UTC (Mon) by mpr22 (subscriber, #60784) [Link] Yes, typo.
|
|||||||||||||