What type of logic is this?

[NaN]

Let ObjectA be of Class-K
Let ObjectB be of Class-J & Class-L
Let ObjectC be of CLass-J & Class-K

The rules of the system state that when an Object is of Class-J & Class-K it is also of Class-M.

If all information given is that ObjectC is of Class-J & Class-K what term do I use to describe my reasoning for it to also be of Class-M?

Is this inductive reasoning?
Is it deductive reasoning?

[Lomax]

Hi NaN,

It's deductive reasoning - more specifically, the barbara syllogism. To rephrase your set theory statements into basic conditionals of propositional logic, we have:

P1. "If C then JK"
P2. "If JK then M"
C3. "Therefore, If C then M"

Assuming that is the reasoning you used, of course.

[Athena]

Hum, if you have chicken broth, onion, celery, carrots, tomatoes, and green beans or peas, you can have alphabet soup.