5.512

« ~p » est vraie si « p » est fausse. Par conséquent, dans la proposition vraie « p », « p » est une proposition fausse. Comment le trait «  » peut-il la rendre conforme à la réalité ?