“人类终有一天无法在地球上生存”。则其真值形式为：p（qr）。设p表示“在场内吸烟”（主语省略，下同）表示“在场内随地吐痰”表示“在场内乱扔废弃物”，q，r，s4表示“被处以罚款”。则其真值形式为：qr）s。（p十、运用有关规则，判定下列命题推理是否有效。1该推理的推理形式为：p或者q；p；所以，非q。无效，违反相容选言推理的规则“肯定一部分选言支，不能否定另一部分选言支”。2该推理的推理形式为：如果非p，那么非q；p；所以，q。无效，违反充分条件假言推理的规则“否定前件不能否定后件”。3该推理的推理形式为：如果p，那么q；q；所以，p。无效，违反充分条件假言推理的规则“肯定后件不能肯定前件”。4该推理的推理形式为：如果p，那么非q，所以，如果q，那么非p。有效，符合假言易位规则。十一、分别用真值表方法（略）和归谬赋值法判定下列推理的有效性。1该题包括两个推理。第一个：p）（pp）（pFTFFTFT
1
f不矛盾，所以此推理无效。第二个：p）（pp）（pFTFTFTF矛盾（pp）（pp）FTFFTFT还是矛盾，所以此推理有效。2（pq）（pq）FTFTFFTTTF矛盾，所以此推理有效。十二、分别求下列真值形式的合取范式和析取范式，并确定它们的真值类型。1（pq）（pq）消去“”（pq）（pq）：（1）内移“”（pq）（pq）：（2）消去“”：pq）（pq）（（3）（3）式按析取分配律展开：pq）（qpq）（4）（p（4）式为合取范式，是重言式，因此，该式是重言式。（3）式化简即为析取范式：pq）pq（（5）（5）式不是矛盾式，但不能判定是否为重言式。2（pq）（pq）消去“”（q）（pq）（（pq）（pq）：（p））（1）内移“”（q）（pq）（pq）（pq）：（p）（）（2）消去“”（q）（pq）（pq）（pq）：（p）（）（3）（3）式化简，即得合取范式：pq（pq）（4）（4）式不是重言式，但不能判定该式是否为矛盾式。（3）式化简，按合取分配律展开：qp）（pqq）（p（5）（5）式为析取范式，是矛盾式，因此，该式为矛盾式。（p3q（r