Mantık Terimleri Sözlüğü
tamdurum
Biçimsel bir dilin bütün önermelerinin doğruluk değerini belirleyen olanaklı ya da tasarlanabilen dildışı karşılık. || Bir yorumdaki olanaklı tamdurumlardan ikisi bir arada gerçek olamaz, ama içlerinden birinin gerçek olması zorunludur.