Question

证明推论，前提：pvq，p->非r，s->t，非s->r，非t，结论：q

Answer 1

问：证明推论，前提：pvq，p->非r，s->t，非s->r，非t，结论：q

答：亲，根据前提条件"pvq"，我们可以得知p和q都是成立的，因此可以了解到：1. 根据"p->非r"，可以推论出非p或非r，因为蕴含命题表示如果p成立则非r成立，那么当p不成立时，r不成立是符合这个条件的。2. 根据"非s->r"，可以推论出非s或r，因为蕴含命题表示如果非s成立，则r成立，那么当r不成立时，非s成立是符合这个条件的。3. 根据"s->t"，可以推论出非t或s，因为蕴含命题表示如果s成立，则t成立，那么当t不成立时，s不成立是符合这个条件的。因此，我们可以得出以下结论：如果p成立，则非r成立；如果非s成立，则r成立；如果s成立，则t成立。因为p成立，所以非r成立。因为非r成立，所以非r不是成立的，因此，非p不成立。因为非p不成立，并且pvq成立，所以q成立。即结论q是成立的。