A.~(p∨q),能必然推出(~r∨~s) B.(~r∨~s),能必然推出(p∨q) C.(p∨q),能必然推出~(r∧s) D.~(r∧s),能必然推出(~p∨~q)
A.(A→C) B.(B→C) C.A D.C
某市發(fā)生了一個代號為1207的案件,已知: (?。┲挥衅偏@1207案件,才能確認黃×、王×、朱××三個都是作案人; (ⅱ)如果黃×不是作案人,則黃×的供詞是真的,而黃×說王×不是作案人; (ⅲ)如果王×不是作案人,則王×的供詞是真的,而王×說自己和朱××是好朋友;現(xiàn)已查明(ⅳ)朱××根本不認識王×,但(ⅴ)1207案尚無法結(jié)案。 由以上條件,可以合乎邏輯地推出以下各項中一定為真的是()。
A.黃×、朱××是作案人,但王×不是作案人 B.王×、朱××都不是作案人,但黃×是作案人 C.黃×、王×肯定是作案人,但朱××不是作案人 D.黃×、王×肯定是作案人,但朱××是否作案人尚需進一步查證