paradoxe en logique

Un paradoxe c'est un énoncé du type ! $P \, et \, \neg P$ càd les assertions $P$ et $\neg P$ sont vraies en même temps mais on retrouve ton assertion car si $P$ équivaut à $\neg P$ on a $P \, ou \, \neg P$et donc l'une des deux assertions est vraie et comme elle sont équivalentes elle sont toutes les deux vraies. et évidemment si on a la conjonction des deux elles ont les même valeurs de vérité et sont donc équivalentes

Ps : si on n'utilise pas le Tiers exclu ($P \, ou \, \neg P$) je ne sais pas si les deux assertions logiques sont toujours équivalentes