önerme değişmezi anlamı İng. sentential constant Alm. Aussagenkonstante Fr. constante d'énoncé
Biçimsel bir dilde tek bir imden oluşan önerme; başka bir deyişle dizimsel türü p olan özdeğişmez.