Soit $P$ et $Q$ deux propositions.
Alors,  $P\Rightarrow \neg(P\Rightarrow Q)=$

@$%s$
- \top
- \neg P\wedge \neg Q\wedge P   
- (\neg P \wedge P)\vee (\neg Q \wedge P)  
- \bot
- P\vee Q
- \neg P\vee Q
- P\wedge Q
- \neg P\wedge Q
- P\vee \neg Q
+ \neg P\vee \neg Q
- P\wedge \neg Q
- \neg P\wedge \neg Q
- P
- Q

OR


Soit $P$ et $Q$ deux propositions.
Alors,  $\neg P\Rightarrow \neg(P\Rightarrow Q)=$

@$%s$
- \top
- \neg P\wedge \neg Q\wedge P  
- (\neg P \wedge P)\vee (\neg Q \wedge P) 
- \bot
- P\vee Q
- \neg P\vee Q
- P\wedge Q
- \neg P\wedge Q
- P\vee \neg Q
- \neg P\vee \neg Q
- P\wedge \neg Q
- \neg P\wedge \neg Q
+ P
- Q
