excluded middle

Türkçe: dışlanan orta

Açıklama: Üçüncünün yokluğu; p ∨ ¬p mantık ilkesi