Кіріспе

Тілдік сөйлемде жасырылған грамматикалық субъекті бар. Про сөйлем – бұл субъектінің есімдігі түсірілген, сол себепті сөйлемде бос субъект болады.

Шолу

Тілдер осы параметр бойынша өзгешеленеді, мысалы, итальян және испан тілдерінде про-дроп тұрақты түрде қолданылады, фин және иврит тілдері ішінара про-дроп тілдері болып табылады, ал жапон және тамил тілдері дискурсивті немесе радикалды про-дроп тілдері санатына жатады. Ағылшын, неміс және швед тілдері сияқты тілдерде про-дроп тек қатаң стильдік жағдайларда ғана рұқсат етіледі. Про-сөйлем – про-форманың бір түрі болғандықтан, анафоралық сипатқа ие. Ағылшын тілінде «иә», «жоқ» және «жарайды» жиі про-сөйлемдер ретінде қолданылады. «Марстың екі серігі бар ма?» деген сұраққа жауап ретінде «Иә» деген жауап «Марстың екі серігі бар» дегенді қысқартқан түрде түсініледі. Про-сөйлемдер кейде грамматикалық шақыру сөздері ретінде қарастырылады, себебі олардың синтаксистік байланыстары өте шектеулі. Алайда, оларды жеке сөз табының бір бөлігі ретінде де жіктеуге болады, өйткені басқа шақыру сөздердің де өз мағыналары болады және олар көбінесе сезімдер мен эмоцияларды білдіреді.

Философияда

Дороти Гровер, Нуэль Бельнап және Джозеф Камп әзірлеген және Роберт Брэндом жақында қорғаған шындықтың пропозиционалдық теориясы, "p" сияқты сөйлемдердің "тура" екені және p тура екені түсінігін "p" сөйлеміне қасиеттер жатқызу ретінде емес, "p" сөйлемімен мазмұны бірдей пропозиция ретінде қарастыру керек дейді. Брэндом " . тура" дегенді пропозиция құрау операторы деп атайды.