تاربرگ‌های پیموده‌شده در این نشست: ∨ Introduction Many-valued logic Modal Theorem T.1 quantifier