This leaves only case 1, in which Q is also true.
Αυτό αφήνει μόνο την περίπτωση 1, στην οποία Q είναι επίσης αλήθεια.