The question is given in the photo
Posted: Sat Feb 26, 2022 10:52 am
The question is given in the photo
the 7 (;;) Use sules of inference to show that if vx (A (x) v B(x)), tx (= B(x)US(x) x v 8( arx(c(x) > -s(x)), and 3xl-A(e)) x ( — ( mA 7 x (((x)) is true. I - C 9 are true ? then
the 7 (;;) Use sules of inference to show that if vx (A (x) v B(x)), tx (= B(x)US(x) x v 8( arx(c(x) > -s(x)), and 3xl-A(e)) x ( — ( mA 7 x (((x)) is true. I - C 9 are true ? then