https://123dok.com/document/yrklx7jz-penyaringan-terurut-implikatif-positif-dari-semigrup-implikatif.html