Разумевање асертера у логици и филозофији

У логици, ассертор (који се назива и пропозиционал) је изјава која потврђује истинитост друге изјаве. То је изјава која тврди да је нешто истинито без давања било каквог разлога или доказа за то.ӕӕНа пример, "Све мачке су животиње" је тврдња јер једноставно тврди да су све мачке животиње без пружања било каквог доказа или објашњења.ӕӕАссертори су често користе се у формалној логици и филозофији за изношење тврдњи о свету, и могу бити истините или лажне у зависности од њиховог садржаја. Оне се разликују од других врста изјава, као што су обећања или претње, које имају специфичне последице на акције или догађаје.