CEVAP: Bir önermenin semantik statüsünün önermeler mantığı bakımından belirlenmesi, bu önermenin, totoloji mi, çelişme önermesi mi, yoksa olumsal önerme mi olduğunun ortaya konması demektir.