aturan penggantian dan penyiimpulan

BUKTIKAN KEBSAHAN PERNYATAAN BERIKUT:
1. (kvl)→⌐(m∩n)
2. (⌐mv⌐n)→(o↔u)
3. (o↔p)→(q∩r)
/∙¨∙(lvk)→(r∩q)
4. ⌐(m∩n)→(o↔p) (2.imp)
5. (kvl)→(o↔p) (1,4 sil)a
6. (kvl) →(q∩r) (5,3 sil)
7. ⌐(kvl)v(q∩r) (6 imp)
8. ⌐(lvk)v(r∩q) (7 kom)
9. (lvk) →(r∩q) (8 imp)