type, object hierarchy?

[Arnaud Delobelle]

On Feb 4, 5:31 am, 7stud <bbxx789_0... at yahoo.com> wrote:
> On Feb 3, 10:28 pm, 7stud <bbxx789_0... at yahoo.com> 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