وضعیتی که در آن آیندههای بدیل منطق بنیادی یکسانی دارند و مجموعهمعادلات یکسانی روابط میان آنها را نشان میدهد