propositional function


تاربرگ‌های پیموده‌شده در این نشست: possible-world semantics ⟩ permutation ⟩ Predicate Logic ⟩ Mathematical foundations ⟩ Modal System D