公式（p∨q）→r的主合取范式是（ ） A: (P∨Q∨┐R)∧(┐P∨┐Q∨R)∧ (P∨┐Q∨R) B: (┐P∨Q∨R)∧(┐P∨┐Q∨R)∧ (P∨┐Q∨R) C: (P∨┐Q∨┐R)∧(┐P∨┐Q∨R)∧ (P∨┐Q∨R) D: (┐P∨Q∨┐R)∧(┐P∨┐Q∨R)∧(┐P∨┐Q∨┐R)

命题公式(p→q)∧「r的主析取范式为___________。 A: (﹁p∧﹁q∧﹁r)∨(﹁p∧q∧﹁r)∨(p∧﹁q∧﹁r) B: (﹁p∧﹁q∧﹁r)∨(﹁p∧q∧﹁r)∨(p∧q∧﹁r) C: (﹁p∧﹁q∧﹁r)∨(p∧﹁q∧﹁r)∨(p∧q∧﹁r) D: (﹁p∧q∧﹁r)∨(p∧﹁q∧﹁r)∨(p∧q∧﹁r)

求┐P∨(Q∧R) →(P∨Q) ∧┐R的对偶式 A: (P∧(┐Q∧┐R)) ∧((P∧Q)∨┐R) B: (P∨(┐Q∧┐R)) ∧((P∧Q)∨┐R) C: (P∧(┐Q∧┐R)) →((P∧Q)∨┐R) D: (P∨(┐Q∨┐R)) ∧((P∧Q)∨┐R)

求公式(P→(Q∧R))∧(¬P→(¬Q∧¬R))的主析取范式 A: (P∧Q∧R)∨(¬P∧¬Q∧R) B: (P∧Q∧R)∨(¬P∧¬Q∧¬R) C: (P∧Q∧¬R)∨(¬P∧¬Q∧¬R) D: (P∧Q∧R)∨(¬P∧Q∧¬R)

下列命题公式中为重言式的是 Ⅰ．((p∨q)→r┌ →((p→r)∧(q→r)) Ⅱ．(p→(q∨r))→((p→q)∧(p→r)) Ⅲ．((p→q)∧(P→r))→((p→r) Ⅳ．((p∨q)∧(p→r))→(p→r) A: Ⅲ B: Ⅰ和Ⅲ C: Ⅰ和Ⅱ D: Ⅰ、Ⅱ、Ⅲ和Ⅳ

判定下列推理形式是否为有效推理形式：</p><p>( p ∨ q )</p><p>( p → r )</p><p>( q → r )</p><p>————————</p><p>r</p>

计算(P→Q)∧(￢P→R)的主析取范式规范正确的是 ——————— 。 A: (￢P ∧ R) ∨ (P ∧ Q) ∨ (Q ∧ R) B: (P ∧ Q ∧ R) ∨ (P ∧ Q ∧ ￢R) ∨ (￢P ∧ Q ∧ R) ∨ (￢P ∧ ￢Q ∧ R) C: (￢P ∧ ￢Q ∧ R) ∨ (￢P ∧ Q ∧ ￢R) ∨ (P ∧ Q ∧ ￢R) ∨ (P ∧ Q ∧ R) D: (￢P ∧ ￢Q ∧ R) ∨ (￢P ∧ Q ∧ R) ∨ (P ∧ Q ∧ ￢R) ∨ (P ∧ Q ∧ R)

计算(P→Q)∧(￢P→R)的析取范式正确的是 ——————— 。 A: (￢P ∧ Q) ∨ (P ∧ R) B: (￢P ∨ Q) ∧ ( P ∨ R) C: (￢P ∧ R) ∨ (P ∧ Q) ∨ (Q ∧ R) D: (￢P ∨ R) ∧ (P ∨ Q) ∧ (Q∨R)

下列命题公式中( )为重言式 Ⅰ．(p→(p∨q))∨r Ⅱ．(p→(q∨r))→((p→q)∧(p→r)) Ⅲ．(p→q)∧(p→r)→(p→r) Ⅳ．┐(p→q)∧q∧r A: Ⅲ B: Ⅰ和Ⅲ C: Ⅰ和Ⅱ D: Ⅰ、Ⅱ、Ⅲ和Ⅳ

【单选题】1. 设 P : 天热, Q : 我去游泳, R : 我在家读书,则命题“如天热,我去游泳,否则在家读书 .” 的符号化结果是 () (A)( P ® Q ) Ú ( Ø P ® R ); (B)( P ® Q ) Ù ( Ø P ® R ); (C)( P Ù Q ) Ú ( Ø P Ù R ); (D)( P Ù Q ) Ù ( Ø P Ù R ). A. (P® Q) Ú(ØP ® R) B. (P® Q) Ù(ØP ® R) C. (PÙ Q) Ú(ØP Ù R) D. (PÙ Q) Ù(ØP Ù R)