2008年工程碩士GCT邏輯考試復(fù)習(xí)指南(10)

專題三：形式化思路和同型異素題
    例1.在有些人眼里，女生是弱者，男生是強(qiáng)者。因為所有女生都愛哭，所以所有男生不愛哭。
    以下哪項是上述論證所必須假設(shè)的？
    A.愛哭的全是女生。
    B.那些人有區(qū)分愛哭和不愛哭的能力。
    C.那些人眼中愛哭的人不一定是真的愛哭。
    D.女生一定愛哭。
    題目的結(jié)構(gòu)就是：
    [題干]
    要么W，要么L，二者必居其一。
    要么Y，要么R，二者必居其一。
    因為所有的W都Y。
    所以所有的L都R。
    [前提]Y都W。