## What type of logic is this?

Philosophical, mathematical and computational logic, linguistics, formal argument, game theory, fallacies, paradoxes, puzzles and other related issues.

### What type of logic is this?

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?
NaN
Forum Neophyte

Posts: 1
Joined: 06 Jan 2017

### Re: What type of logic is this?

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.

Lomax

Posts: 3659
Joined: 01 Jul 2010
Location: Nuneaton, UK

### Re: What type of logic is this?

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

Posts: 1936
Joined: 22 Apr 2012
Location: Eugene, Oregon