By the same stroke, p→q is true if and only if either p is false or q is true (or both).
Samal põhjusel on p→q tõene siis ja ainult siis, kui p on väär või q on tõene (või mõlemad korraga).