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?
NaN
Forum Neophyte
 
Posts: 1
Joined: 06 Jan 2017


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
Lomax
Forum Administrator
 
Posts: 3219
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.
Athena
Active Member
 
Posts: 1389
Joined: 22 Apr 2012
Location: Eugene, Oregon



Return to Logic

Who is online

Users browsing this forum: No registered users and 2 guests