واخته
همچنین شناخته شده با: محمول
برابر انگلیک (انگلیسی): predicate


تاربرگ‌های پیموده‌شده در این نشست: گویایی E ⟩ PL.FL.03 ⟩ گویایی انگارشی ⟩ بنداشت K ⟩ Semantical Considerations on Modal Logic ⟩ آوین-نگریک