論理の限量子 -- つまり全称限量子（記号は'∀'）と存在限量子（記号は'∃'）-- の使い方が分からない、という質問・相談を受けることがあります。なかでも、「∀と∃の順序を交換してイイの？ それともダメなの？」はFAQ〈Frequently Asked Question〉でして、…