Therefore, whenever p → q is true and p is true, q must also be true.
Oleh karena itu, setiap kali p → q benar dan p benar, q juga harus benar.