On 29 Jan., 11:07, William Hughes <wpihug...@gmail.com> wrote: > On Jan 29, 11:04 am, WM <mueck...@rz.fh-augsburg.de> wrote: > > > On 29 Jan., 10:53, William Hughes <wpihug...@gmail.com> wrote: > > > > B correct does not mean "C is incorrect" > > > We know of cases where B is correct and C is incorrect. > > And we know of cases where B is correct and C is correct.
For example: Every natural number is an integer and all natural numbers are integers (in case "all" is a meaningful quantification for infinite collections). > > So knowing B is correct does not mean either > "C is correct" or "C is incorrect"
For example: Every natural number exists and all natural numbers do not exist.
May I know your opinions about C1, C2, and in particular about C3?