形式逻辑-假言命题。题干信息：①4个姓氏分别对应四个国家中的一个。②“施米特”是阿根廷常见姓氏∨“施米特”是卢森堡常见姓氏。③“施米特”是阿根廷常见姓氏→“冈萨雷斯”是爱尔兰常见姓氏。④“埃尔南德斯”是卢森堡常见姓氏∨“墨菲”是卢森堡常见姓氏→“冈萨雷斯”是墨西哥常见姓氏。解题步骤：第一步：本题属于对应题型，由于没有确定信息，因此优先考虑从重复项入手，由于“施米特”是阿根廷常见姓氏出现了2次，因此优先从其入手，对③进行假言归谬。第二步：对③进行肯前假设，即假设“施米特”是阿根廷常见姓氏，结合条件③可得出，“冈萨雷斯”是爱尔兰常见姓氏，那么“冈萨雷斯”不是墨西哥常见姓氏，将之代入条件④中，否后推否前，可得出，“埃尔南德斯”不是卢森堡常见姓氏∧“墨菲”不是卢森堡常见姓氏，此时卢森堡就没有能与之对应的常见姓氏，与条件冲突，故假设不成立，因此可得：“施米特”不是阿根廷常见姓氏。第三步：将“施米特”不是阿根廷常见姓氏代入条件②，否定必肯定，可得：“施米特”是卢森堡常见姓氏。故答案选E。