Boş içerenli içerme kuralı ya da başka bir deyişle geçerliliği kanıtlanmış olan önerme kalıbı. || Krş.. mantık ilkesi. Örn. (?)
