https://123dok.com/document/q27l5l6y-lampiran-simbol-simbol-logika-temporal-linear.html