Meselâ, her ateş sıcaktır önermesinde hüküm eğer hariçte bulunan veya bulunacak olan her ateş sıcaktır anlamı kastedilerek verilmişse bu dış önerme olur. Konunun fertlerinin dışarda varlığı olmayıp da, var olması farzedilerek hükmedilen önermelere gerçek önerme denir.