When P → Q is true, we cannot consider case 2.
Όταν P → Q είναι αλήθεια, δεν μπορούμε να θεωρήσουμε την περίπτωση 2.