On Feb 4, 5:31 am, 7stud <[EMAIL PROTECTED]> wrote: > On Feb 3, 10:28 pm, 7stud <[EMAIL PROTECTED]> wrote: > > > From the docs: > > > issubclass(class, classinfo) > > Return true if class is a subclass (direct or indirect) of classinfo. > > print issubclass(Dog, object) #True > print issubclass(type, object) #True > print issubclass(Dog, type) #False
Are you suggesting a new axiom for propositional logic: ((P => Q) ^ (R => Q)) => (P => R) ? I.e. in fruit logic: every orange is a fruit and every apple is a fruit, therefore every orange is an apple. -- Arnaud -- http://mail.python.org/mailman/listinfo/python-list
