Top Law Schools

Ok, for example :

All Ts are older then M's
A majority, but not all S's are older than any M's.
All M's are older then any D's

I am struggling on setting up the formal logic for this set of conditions. Can someone explain how to set this up ? And what inferences can be made ?

integralx2 wrote:Ok, for example :

All Ts are older then M's
A majority, but not all S's are older than any M's.
All G are older then any D's

I am struggling on setting up the formal logic for this set of conditions. Can someone explain how to set this up ? And what inferences can be made ?

Not much to infer, really. You know some (maybe all) Ss are younger than Ts. You have no idea the relationship between Ts, Ms, or Ss to Gs or Ds. You also have no idea if any Ss are older than Ts or if any Ss are younger than Ms.

EarlCat wrote:

integralx2 wrote:Ok, for example :

All Ts are older then M's
A majority, but not all S's are older than any M's.
All G are older then any D's

I am struggling on setting up the formal logic for this set of conditions. Can someone explain how to set this up ? And what inferences can be made ?

Not much to infer, really. You know some (maybe all) Ss are younger than Ts. You have no idea the relationship between Ts, Ms, or Ss to Gs or Ds. You also have no idea if any Ss are older than Ts or if any Ss are younger than Ms.

I made a mistake. I meant to say M, but wrote G for the 3rd line.

My head asplode.

integralx2 wrote:Ok, for example :

All Ts are older then M's
A majority, but not all S's are older than any M's.
All M's are older then any D's

I am struggling on setting up the formal logic for this set of conditions. Can someone explain how to set this up ? And what inferences can be made ?

Inferences:

All T's are older than D's

A majority but not all S's are older than any D's.

If a member of S is Older than M, that member is also older than D

If a member of S is not older than M, that member is younger than T