Bạn cho mình hỏi với, nếu có mệnh đề như thế này:
p->q, r->s
------------- (1)
s->r
(p->q) ^ (r->s) <-> s->r (2)
Thì có phải (1) <-> (2) không bạn?
Bạn cho mình hỏi với, nếu có mệnh đề như thế này:
p->q, r->s
------------- (1)
s->r
(p->q) ^ (r->s) <-> s->r (2)
Thì có phải (1) <-> (2) không bạn?