درست همچنین شناخته شده با: صحیح برابر انگلیک (انگلیسی): sound مانه به بگومگویی گفته میشود که افزون بر پایمند بودن [=معتبر بودن]، پیشگذاردههای آن راستگو باشند. تاربرگهای پیمودهشده در این نشست: Tarbiat Modares University ⟩ Ruth Barcan Marcus ⟩ sentence ⟩ semilattice ⟩ Idempotency of entailment ⟩ right-angled