Iya terimakasih sebelumnya. Mohon dipahami materi tentang ekuivalensi (pernyataan yang setara). Itu hanya permisalan, untuk premis 1 adik tidak lemas (q) dan premis 2 dia lemas (-q). Itu saling ditukar kenapa? Karena mengingat 2 pernyataan dikatakan ekuivalen jika nilai kebenarannya sama. p -> q ekuivalen -p v q (terbukti di premis 1) q -> r ekuivalen -r -> -q (terbukti di premis 2)