Smerdiakov :
non "mon chien à des puces, comment l'en débarasser ?" ?
non("mon chien à des puces, comment l'en débarasser ?")
non("mon chien a des puces" ET "comment l'en débarasser")
non("mon chien a des puces") OU non ("comment l'en débarasser")
"mon chien n'a pas de puces" OU "Comment ne pas l'en débarasser ?"
"mon chien n'a pas de puces" OU "Comment les laisser ?"
Or "mon chien n'a pas de puces" OU "Comment les laisser ?" équivaux à :
-Si "mon chien n'a pas de puce" est vrai, alors "Comment les laisser ?" est vrai ou faux
-Si "mon chien n'a pas de puce" est faux ("mon chien a des puces"), alors "comment les laisser ?" est vrai.
Donc mathématiquement, le contraire de "Mon chien a des puces, comment l'en débarasser ?" est "Si mon chien n'a pas de puce, comment les laisser ou les débarasser ? Si mon chien a des puces, comment les laisser ?"