Modern mantıkta \( P \) bir önerme olmak üzere, üçüncü halin imkansızlığı ilkesi matematiksel olarak nasıl ifade edilir?