Sıfır sayıda bağsız değişkeni olan ya da başka bir deyişle hiç bir bağsız değişkeni olmayan tamdeyim: (?) || Anl. önerme, kapalı önerme.