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?

Postby NaN on January 6th, 2017, 9:24 am 

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?

Re: What type of logic is this?

Postby Lomax on January 6th, 2017, 11:24 pm 

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.
User avatar
Forum Administrator
Posts: 3716
Joined: 01 Jul 2010
Location: Nuneaton, UK

Re: What type of logic is this?

Postby Athena on January 7th, 2017, 6:02 pm 

Hum, if you have chicken broth, onion, celery, carrots, tomatoes, and green beans or peas, you can have alphabet soup.
Banned User
Posts: 1858
Joined: 22 Apr 2012
Location: Eugene, Oregon

Return to Logic

Who is online

Users browsing this forum: No registered users and 6 guests