Дали историята за царя Едип се основава на гръцкия мит?

да Царят Едип е пиеса от Софокъл, но самата история датира отпреди Софокъл и идва от гръцкия мит и легенда.