数理逻辑
2数理逻辑(编辑修改稿)
q) →r 2. Give the normal disjunction formumlas of the following statements (1) ((p∨ q) →r) →p ~q p→ q ~p p→ q q→ r p→ r p∨ q p→ r q→ s r∨ s (2) ~( p→q)∧ q∧ r 3. Give the deductions of the following